Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/usb/etas_es58x/es58x_devlink.c es58x_parse_product_info() -> es58x_parse_sw_version()

Type Parameter Key Value
PARAM_VALUE 0 es58x_dev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->bootloader_version.major 255
PARAM_VALUE 0 es58x_dev->bootloader_version.minor 255
PARAM_VALUE 0 es58x_dev->bootloader_version.revision 255
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->firmware_version.major 255
PARAM_VALUE 0 es58x_dev->firmware_version.minor 255
PARAM_VALUE 0 es58x_dev->firmware_version.revision 255
PARAM_VALUE 0 es58x_dev->hardware_revision.letter 0
PARAM_VALUE 0 es58x_dev->hardware_revision.major u16max
PARAM_VALUE 0 es58x_dev->hardware_revision.minor u16max
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.urb_list.next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.urb_list.prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.urb_list.prev->prev 4096-ptr_max
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.urb_list.next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.urb_list.prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.urb_list.prev->prev 4096-ptr_max
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.urb_list.next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.urb_list.prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.urb_list.prev->prev 4096-ptr_max
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
PARAM_VALUE 0 es58x_dev->udev->have_langid 1
PARAM_VALUE 0 es58x_dev->udev->state 0-7,9-u32max
PARAM_VALUE 0 es58x_dev->udev->string_langid (-1)-u16max
PARAM_VALUE 1 prod_info 1-u64max
PARAM_VALUE 2 prefix 2641673318051045376
BUF_SIZE 1 prod_info s32min-s32max
BUF_SIZE 2 prefix 3
CAPPED_DATA 1 prod_info 1
DATA_SOURCE 0 es58x_dev $0
DATA_SOURCE 1 prod_info r usb_cache_string
STR_LEN 0 es58x_dev 2
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
TERMINATED 2 prefix 1
RX_PATH
TASK_NOT_RUNNING

drivers/net/can/usb/etas_es58x/es58x_devlink.c es58x_parse_product_info() -> es58x_parse_sw_version()

Type Parameter Key Value
PARAM_VALUE 0 es58x_dev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->bootloader_version.major 255
PARAM_VALUE 0 es58x_dev->bootloader_version.minor 255
PARAM_VALUE 0 es58x_dev->bootloader_version.revision 255
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->firmware_version.major 255
PARAM_VALUE 0 es58x_dev->firmware_version.minor 255
PARAM_VALUE 0 es58x_dev->firmware_version.revision 255
PARAM_VALUE 0 es58x_dev->hardware_revision.letter 0
PARAM_VALUE 0 es58x_dev->hardware_revision.major u16max
PARAM_VALUE 0 es58x_dev->hardware_revision.minor u16max
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.urb_list.next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.urb_list.prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->rx_urbs.urb_list.prev->prev 4096-ptr_max
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.urb_list.next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.urb_list.prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_busy.urb_list.prev->prev 4096-ptr_max
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.urb_list.next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.urb_list.next->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.urb_list.prev 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.urb_list.prev->next 4096-ptr_max
PARAM_VALUE 0 es58x_dev->tx_urbs_idle.urb_list.prev->prev 4096-ptr_max
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
PARAM_VALUE 0 es58x_dev->udev->have_langid 1
PARAM_VALUE 0 es58x_dev->udev->state 0-7,9-u32max
PARAM_VALUE 0 es58x_dev->udev->string_langid (-1)-u16max
PARAM_VALUE 1 prod_info 1-u64max
PARAM_VALUE 2 prefix 8573499028585623552
BUF_SIZE 1 prod_info s32min-s32max
BUF_SIZE 2 prefix 3
CAPPED_DATA 1 prod_info 1
DATA_SOURCE 0 es58x_dev $0
DATA_SOURCE 1 prod_info r usb_cache_string
STR_LEN 0 es58x_dev 2
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
TERMINATED 2 prefix 1
RX_PATH
TASK_NOT_RUNNING