Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/ctucanfd/ctucanfd_base.c ctucan_insert_frame() -> ctucan_write_txt_buf()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->ntxbufs 1-u32max
PARAM_VALUE 0 priv->read_reg 4096-ptr_max
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 val 0-1023
CAPPED_DATA 1 buf_base 1
DATA_SOURCE 0 priv $0
BIT_INFO 3 val 0x0,0x2ef
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/can/ctucanfd/ctucanfd_base.c ctucan_insert_frame() -> ctucan_write_txt_buf()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->ntxbufs 1-u32max
PARAM_VALUE 0 priv->read_reg 4096-ptr_max
PARAM_VALUE 0 priv->write_reg 4096-ptr_max
PARAM_VALUE 2 offset 4
PARAM_VALUE 3 val 0-536870911
CAPPED_DATA 1 buf_base 1
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 val 0-536870911[c]
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/can/ctucanfd/ctucanfd_base.c ctucan_insert_frame() -> ctucan_write_txt_buf()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->ntxbufs 1-u32max
PARAM_VALUE 0 priv->read_reg 4096-ptr_max
PARAM_VALUE 0 priv->write_reg 4096-ptr_max
PARAM_VALUE 2 offset 16,20-79
CAPPED_DATA 1 buf_base 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 val 0-u32max
UNITS 2 offset unit_byte
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read