Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/marvell/mvpp2/mvpp2_main.c mvpp2_tx() -> mvpp2_txq_reserved_desc_num_proc()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->priv 4096-ptr_max
PARAM_VALUE 0 port->priv->aggr_txqs 4096-ptr_max
PARAM_VALUE 0 port->txqs 4096-ptr_max
PARAM_VALUE 1 txq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/marvell/mvpp2/mvpp2_main.c mvpp2_tx_tso() -> mvpp2_txq_reserved_desc_num_proc()

Type Parameter Key Value
PARAM_VALUE 1 txq 4096-ptr_max
DATA_SOURCE 1 txq $2
DATA_SOURCE 2 txq_pcpu $4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/marvell/mvpp2/mvpp2_main.c mvpp2_xdp_submit_frame() -> mvpp2_txq_reserved_desc_num_proc()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->priv 4096-ptr_max
PARAM_VALUE 0 port->priv->aggr_txqs 4096-ptr_max
PARAM_VALUE 0 port->txqs 4096-ptr_max
PARAM_VALUE 1 txq 4096-ptr_max
PARAM_VALUE 3 num 1
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read