Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/esd/esdacc.c acc_start_xmit() -> acc_txq_put()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->tx_fifo_head 0-254
PARAM_VALUE 1 acc_id 0-2046,536870912-1073741823
PARAM_VALUE 2 acc_dlc 0-271,16777216-16777487
BUF_SIZE 3 data 8
CAPPED_DATA 0 core->tx_fifo_head 1
CAPPED_DATA 0 core->tx_fifo_size 1
BIT_INFO 2 acc_dlc 0x0,0x10000ff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 acc_id 0-2046,536870912-1073741823[c]
USER_DATA 2 acc_dlc 0-271,16777216-16777487[u]
UNITS 2 acc_dlc unit_byte
USER_PTR 3 data
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read