Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/can/usb/mcba_usb.c mcba_usb_start() -> mcba_usb_xmit_read_fw_ver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->bittiming_const->sjw_max | 1-4294967295 |
| PARAM_VALUE | 0 | priv->can.bitrate_const | 6072966301982445568 |
| PARAM_VALUE | 0 | priv->can.bitrate_const_cnt | 18 |
| PARAM_VALUE | 0 | priv->can.do_get_berr_counter | 5943539645245804544 |
| PARAM_VALUE | 0 | priv->can.do_set_bittiming | 1094656632209690624 |
| PARAM_VALUE | 0 | priv->can.do_set_mode | 9121708436226719744 |
| PARAM_VALUE | 0 | priv->can.do_set_termination | 4458610969826181120 |
| PARAM_VALUE | 0 | priv->can.state | 4 |
| PARAM_VALUE | 0 | priv->can.termination_const | 7582445626595790848 |
| PARAM_VALUE | 0 | priv->can.termination_const_cnt | 2 |
| PARAM_VALUE | 0 | priv->can_ka_first_pass | 1 |
| PARAM_VALUE | 0 | priv->can_speed_check | 0 |
| PARAM_VALUE | 0 | priv->do_set_termination | 1275914047074246656 |
| PARAM_VALUE | 0 | priv->fd.data_bittiming_const->sjw_max | 1-4294967295 |
| PARAM_VALUE | 0 | priv->free_ctx_cnt.counter | 20 |
| PARAM_VALUE | 0 | priv->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->netdev->ml_priv_type | 1 |
| PARAM_VALUE | 0 | priv->rx_pipe | s32min-0,128-s32max |
| PARAM_VALUE | 0 | priv->rx_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | priv->rx_submitted.urb_list.prev | 0,40,4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->termination_const_cnt | 2 |
| PARAM_VALUE | 0 | priv->tx_pipe | s32min-0,1073741824-s32max |
| PARAM_VALUE | 0 | priv->tx_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->usb_ka_first_pass | 1 |
| PARAM_VALUE | 0 | *priv->netdev->name | 0-255 |
| PARAM_VALUE | 1 | pic | 1 |
| BUF_SIZE | 0 | priv->can.bitrate_const | 72 |
| BUF_SIZE | 0 | priv->can.termination_const | 4 |
| DATA_SOURCE | 0 | priv | $0 |
| BIT_INFO | 0 | priv->rx_pipe | 0xc0000080,0xffffffffffffffff |
| BIT_INFO | 0 | priv->tx_pipe | 0xc0000000,0xffffffffffffffff |
| MEM_ZERO | 0 | &priv->rx_submitted | |
| MEM_ZERO | 0 | &priv->tx_submitted | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/can/usb/mcba_usb.c mcba_usb_start() -> mcba_usb_xmit_read_fw_ver()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->bittiming_const->sjw_max | 1-4294967295 |
| PARAM_VALUE | 0 | priv->can.bitrate_const | 6072966301982445568 |
| PARAM_VALUE | 0 | priv->can.bitrate_const_cnt | 18 |
| PARAM_VALUE | 0 | priv->can.do_get_berr_counter | 5943539645245804544 |
| PARAM_VALUE | 0 | priv->can.do_set_bittiming | 1094656632209690624 |
| PARAM_VALUE | 0 | priv->can.do_set_mode | 9121708436226719744 |
| PARAM_VALUE | 0 | priv->can.do_set_termination | 4458610969826181120 |
| PARAM_VALUE | 0 | priv->can.state | 4 |
| PARAM_VALUE | 0 | priv->can.termination_const | 7582445626595790848 |
| PARAM_VALUE | 0 | priv->can.termination_const_cnt | 2 |
| PARAM_VALUE | 0 | priv->can_ka_first_pass | 1 |
| PARAM_VALUE | 0 | priv->can_speed_check | 0 |
| PARAM_VALUE | 0 | priv->do_set_termination | 1275914047074246656 |
| PARAM_VALUE | 0 | priv->fd.data_bittiming_const->sjw_max | 1-4294967295 |
| PARAM_VALUE | 0 | priv->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->netdev->ml_priv_type | 1 |
| PARAM_VALUE | 0 | priv->rx_pipe | s32min-0,128-s32max |
| PARAM_VALUE | 0 | priv->rx_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | priv->rx_submitted.urb_list.prev | 0,40,4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_submitted.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->termination_const_cnt | 2 |
| PARAM_VALUE | 0 | priv->tx_pipe | s32min-0,1073741824-s32max |
| PARAM_VALUE | 0 | priv->tx_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | priv->tx_submitted.urb_list.prev | 40,4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.urb_list.prev->next | 40,4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->tx_submitted.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->udev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->usb_ka_first_pass | 1 |
| PARAM_VALUE | 0 | *priv->netdev->name | 0-255 |
| PARAM_VALUE | 1 | pic | 2 |
| BUF_SIZE | 0 | priv->can.bitrate_const | 72 |
| BUF_SIZE | 0 | priv->can.termination_const | 4 |
| DATA_SOURCE | 0 | priv | $0 |
| BIT_INFO | 0 | priv->rx_pipe | 0xc0000080,0xffffffffffffffff |
| BIT_INFO | 0 | priv->tx_pipe | 0xc0000000,0xffffffffffffffff |
| MEM_ZERO | 0 | &priv->rx_submitted | |
| MEM_ZERO | 0 | &priv->tx_submitted | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |