Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/m_can/m_can.c m_can_echo_tx_event() -> m_can_tx_update_stats()

Type Parameter Key Value
PARAM_VALUE 0 cdev 4096-ptr_max
PARAM_VALUE 0 cdev->mcfg 4096-ptr_max
PARAM_VALUE 0 cdev->ops 4096-ptr_max
PARAM_VALUE 0 cdev->ops->read_fifo 4096-ptr_max
PARAM_VALUE 0 cdev->ops->read_reg 4096-ptr_max
BIT_INFO 2 timestamp 0x0,0xffff0000
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 msg_mark 0-u32max[c]
HOST_DATA 2 timestamp 0-u32max

drivers/net/can/m_can/m_can.c m_can_interrupt_handler() -> m_can_tx_update_stats()

Type Parameter Key Value
PARAM_VALUE 0 cdev 4096-ptr_max
PARAM_VALUE 0 cdev->dev 4096-ptr_max
PARAM_VALUE 0 cdev->net 4096-ptr_max
PARAM_VALUE 0 cdev->ops 4096-ptr_max
PARAM_VALUE 0 cdev->ops->clear_interrupts 0,4623121929683243008
PARAM_VALUE 0 cdev->ops->read_reg 4096-ptr_max
PARAM_VALUE 0 cdev->ops->write_reg 4096-ptr_max
PARAM_VALUE 0 cdev->version 30
PARAM_VALUE 0 *cdev->net->name 0-255
PARAM_VALUE 1 msg_mark 0
PARAM_VALUE 2 timestamp 0,65536-4294901760
DATA_SOURCE 0 cdev $0
FUZZY_MAX 2 timestamp 0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cdev->hrtimer.node.node.node.__rb_parent_color 0-u64max
HOST_DATA 0 cdev->irqstatus 1-u32max
HOST_DATA 2 timestamp 0,65536-4294901760[c]
HALF_LOCKED2 irq