Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/usb/core/driver.c usb_resume_device() -> device_pm_wait_for_dev()

Type Parameter Key Value
PARAM_VALUE 0 subordinate 4096-ptr_max
PARAM_VALUE 0 subordinate->driver 1-u64max
PARAM_VALUE 1 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/core/hcd-pci.c ehci_wait_for_companions() -> device_pm_wait_for_dev()

Type Parameter Key Value
PARAM_VALUE 0 subordinate 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 global &companions_rwsem

drivers/usb/host/ehci-platform.c ehci_platform_resume() -> device_pm_wait_for_dev()

Type Parameter Key Value
PARAM_VALUE 0 subordinate 4096-ptr_max
PARAM_VALUE 0 subordinate->of_node 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
BUF_SIZE 1 dev 1616
DATA_SOURCE 1 dev r usb_of_get_companion_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL