Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/early/ehci-dbgp.c dbgp_bulk_read() -> dbgp_wait_until_done()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 0,32-u32max
DATA_SOURCE 1 loop $4
BIT_INFO 0 ctrl 0x20,0xffffffef
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl 0,32-u32max[c]

drivers/usb/early/ehci-dbgp.c dbgp_bulk_write() -> dbgp_wait_until_done()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 0,32-u32max
PARAM_VALUE 1 loop 1000
BIT_INFO 0 ctrl 0x30,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl 0,32-u32max

drivers/usb/early/ehci-dbgp.c dbgp_control_msg() -> dbgp_wait_until_done()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 0,32-u32max
PARAM_VALUE 1 loop 1000
BIT_INFO 0 ctrl 0x38,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl 0,32-u32max