Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/intel/i40e/i40e_xsk.c i40e_clean_xdp_tx_irq() -> i40e_arm_wb()

Type Parameter Key Value
PARAM_VALUE 0 tx_ring 4096-ptr_max
PARAM_VALUE 1 vsi 4096-ptr_max
PARAM_VALUE 1 vsi->state 4096-ptr_max
PARAM_VALUE 2 budget s32min-(-1),1-s32max
CAPPED_DATA 2 budget 1
DATA_SOURCE 0 tx_ring $1
DATA_SOURCE 1 vsi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/i40e/i40e_txrx.c i40e_clean_tx_irq() -> i40e_arm_wb()

Type Parameter Key Value
PARAM_VALUE 0 tx_ring 4096-ptr_max
PARAM_VALUE 0 tx_ring->desc 4096-ptr_max
PARAM_VALUE 1 vsi 4096-ptr_max
PARAM_VALUE 1 vsi->state 4096-ptr_max
PARAM_VALUE 2 budget 0-u16max
DATA_SOURCE 0 tx_ring $1
DATA_SOURCE 1 vsi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 budget unit_page
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read