Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/fm10k/fm10k_main.c fm10k_tx_map() -> fm10k_tx_desc_push()

Type Parameter Key Value
PARAM_VALUE 0 tx_ring 4096-ptr_max
PARAM_VALUE 1 tx_desc 4096-u64max
PARAM_VALUE 4 size 16384
PARAM_VALUE 5 desc_flags 0-4
DATA_SOURCE 0 tx_ring $0
DATA_SOURCE 5 desc_flags r fm10k_tx_desc_flags
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/intel/fm10k/fm10k_main.c fm10k_tx_map() -> fm10k_tx_desc_push()

Type Parameter Key Value
PARAM_VALUE 0 tx_ring 4096-ptr_max
PARAM_VALUE 1 tx_desc 4096-u64max
PARAM_VALUE 4 size 0-16384
PARAM_VALUE 5 desc_flags 0-4
DATA_SOURCE 0 tx_ring $0
DATA_SOURCE 5 desc_flags r fm10k_tx_desc_flags
FUZZY_MAX 4 size 16384
RX_PATH
TASK_NOT_RUNNING
UNITS 4 size unit_byte
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/fm10k/fm10k_main.c fm10k_tx_map() -> fm10k_tx_desc_push()

Type Parameter Key Value
PARAM_VALUE 0 tx_ring 4096-ptr_max
PARAM_VALUE 1 tx_desc 4096-u64max
PARAM_VALUE 4 size 0-16384
PARAM_VALUE 5 desc_flags 64-68
BUF_SIZE 1 tx_desc (-1),4096-2097152
BUF_SIZE 1 tx_desc (-1),4096-2097152
DATA_SOURCE 0 tx_ring $0
FUZZY_MAX 4 size 16384
BIT_INFO 5 desc_flags 0x40,0x47
RX_PATH
TASK_NOT_RUNNING
UNITS 4 size unit_byte
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read