Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/usb/esd_usb.c esd_usb_probe() -> esd_usb_wait_msg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->rx_pipe 0,128-u32max
PARAM_VALUE 0 dev->rx_submitted.poisoned 0
PARAM_VALUE 0 dev->rx_submitted.wait.head.next 4096-ptr_max
PARAM_VALUE 0 dev->rx_submitted.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->rx_submitted.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 dev->rx_submitted.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->rx_submitted.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->tx_pipe 0,1073741824-u32max
PARAM_VALUE 0 dev->udev 4096-ptr_max
PARAM_VALUE 0 dev->udev->state 4-u32max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->hdr.cmd 1
PARAM_VALUE 1 msg->hdr.len 2
PARAM_VALUE 1 msg->version.drv_version 0
PARAM_VALUE 1 msg->version.flags 0
PARAM_VALUE 1 msg->version.rsvd 0
BUF_SIZE 0 dev 296
BUF_SIZE 1 msg 264
DATA_SOURCE 0 dev r _kzalloc_noprof
DATA_SOURCE 1 msg r _kmalloc_noprof
BIT_INFO 0 dev->rx_pipe 0xc0000080,0xffffffffffffffff
BIT_INFO 0 dev->tx_pipe 0xc0000000,0xffffffffffffffff
MEM_ZERO 0 &dev->rx_submitted
RX_PATH
TASK_NOT_RUNNING