Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/c67x00/c67x00-drv.c c67x00_irq() -> c67x00_ll_fetch_siemsg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->sie 4096-ptr_max
PARAM_VALUE 1 sie_num 0-1
DATA_SOURCE 0 dev $1
FUZZY_MAX 1 sie_num 1
HARD_MAX 1 sie_num 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->hpi.lcp.last_msg 0-u16max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags