Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/hub.c usb_disable_lpm() -> usb_disable_link_state()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->driver 4096-ptr_max
PARAM_VALUE 0 hcd->driver->disable_usb3_lpm_timeout 1-u64max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 udev->lpm_capable 1
PARAM_VALUE 1 udev->parent 1-u64max
PARAM_VALUE 1 udev->speed 5-u32max
PARAM_VALUE 1 udev->state 7-u32max
PARAM_VALUE 1 *udev->toggle 0-4294967295
PARAM_VALUE 2 state 1
CAPPED_DATA 1 udev 1
DATA_SOURCE 0 hcd r bus_to_hcd
DATA_SOURCE 1 udev $0
FUZZY_MAX 1 udev->speed 5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 1 &udev->dev.mutex

drivers/usb/core/hub.c usb_disable_lpm() -> usb_disable_link_state()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->driver 4096-ptr_max
PARAM_VALUE 0 hcd->driver->disable_usb3_lpm_timeout 1-u64max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 udev->lpm_capable 1
PARAM_VALUE 1 udev->parent 1-u64max
PARAM_VALUE 1 udev->speed 5-u32max
PARAM_VALUE 1 udev->state 7-u32max
PARAM_VALUE 1 udev->u2_params.timeout 0-255
PARAM_VALUE 1 udev->usb3_lpm_u1_enabled 0
PARAM_VALUE 1 udev->usb3_lpm_u2_enabled 0
PARAM_VALUE 1 *udev->toggle 0-4294967295
PARAM_VALUE 2 state 2
CAPPED_DATA 0 hcd->primary_hcd 1
CAPPED_DATA 1 udev 1
DATA_SOURCE 0 hcd r bus_to_hcd
DATA_SOURCE 1 udev $0
FUZZY_MAX 1 udev->speed 5
PARAM_COMPARE 0 hcd >= $0->primary_hcd
PARAM_COMPARE 0 hcd >= $0->primary_hcd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 1 &udev->dev.mutex