Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 tx_fifo_idx unit_array_size
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/can/esd/esdacc.c handle_core_msg_rxtxdone() -> acc_tx_fifo_next()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
DATA_SOURCE 0 core $0
PARAM_COMPARE 0 core->tx_fifo_head != $1
PARAM_COMPARE 1 tx_fifo_idx != $0->tx_fifo_head
RX_PATH
TASK_NOT_RUNNING
UNITS 1 tx_fifo_idx unit_array_size
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/net/can/esd/esdacc.c handle_core_msg_txabort() -> acc_tx_fifo_next()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
DATA_SOURCE 0 core $0
PARAM_COMPARE 0 core->tx_fifo_head != $1
PARAM_COMPARE 1 tx_fifo_idx != $0->tx_fifo_head
RX_PATH
TASK_NOT_RUNNING
UNITS 1 tx_fifo_idx unit_array_size
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags