Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/hub.c hub_set_address() -> (struct hc_driver)->address_device()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->driver 4096-ptr_max
PARAM_VALUE 0 hcd->driver->address_device 1-u64max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->parent 0,4096-ptr_max
PARAM_VALUE 1 udev->state 5
PARAM_VALUE 2 timeout_ms 500,5000
DATA_SOURCE 0 hcd r bus_to_hcd
DATA_SOURCE 1 udev $0
FUZZY_MAX 2 timeout_ms 5000
CONTAINER 0 -288-568+0 $(-1)
BIT_INFO 2 timeout_ms 0x180,0x13fc
HARD_MAX 2 timeout_ms 5000