Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/renesas_usbhs/mod.c usbhs_interrupt() -> usbhs_status_get_each_irq()

Type Parameter Key Value
PARAM_VALUE 1 state 6346646482594689024
DATA_SOURCE 0 priv $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags