Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/usb/etas_es58x/es58x_core.c es58x_probe() -> es58x_parse_product_info()

Type Parameter Key Value
PARAM_VALUE 0 es58x_dev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->dev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 es58x_dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 es58x_dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 es58x_dev->num_can_ch 1-2
PARAM_VALUE 0 es58x_dev->ops 3113570690487783424,5345590751548235776
PARAM_VALUE 0 es58x_dev->param 3454606134894690304,6484737556665282560
PARAM_VALUE 0 es58x_dev->rx_pipe 0,128-u32max
PARAM_VALUE 0 es58x_dev->rx_urbs.poisoned 0
PARAM_VALUE 0 es58x_dev->rx_urbs.wait.head.next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_pipe 0,1073741824-u32max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.poisoned 0
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.wait.head.next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.poisoned 0
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.wait.head.next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle_cnt.counter 0
PARAM_VALUE 0 es58x_dev->udev 4096-ptr_max
DATA_SOURCE 0 es58x_dev r es58x_init_es58x_dev
BIT_INFO 0 es58x_dev->ops 0xa25000364850000,0xffffffffffffffff
BIT_INFO 0 es58x_dev->param 0x9f0287134080000,0xffffffffffffffff
BIT_INFO 0 es58x_dev->rx_pipe 0xc0000080,0xffffffffffffffff
BIT_INFO 0 es58x_dev->tx_pipe 0xc0000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL