Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/igc/igc_main.c igc_clean_rx_irq_zc() -> igc_dispatch_skb_zc()

Type Parameter Key Value
PARAM_VALUE 0 q_vector 4096-ptr_max
PARAM_VALUE 0 q_vector->rx.ring 4096-ptr_max
PARAM_VALUE 0 q_vector->rx.ring->desc 4096-ptr_max
PARAM_VALUE 0 q_vector->rx.ring->rx_buffer_info 4096-ptr_max
PARAM_VALUE 0 q_vector->rx.ring->xsk_pool 1-u64max
PARAM_VALUE 0 q_vector->tx.ring 0,4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->wb.upper.length 1-u16max
PARAM_VALUE 2 ctx 4096-ptr_max
PARAM_VALUE 2 ctx->data_end 4096-ptr_max
PARAM_VALUE 2 ctx->rx_desc 4096-ptr_max
PARAM_VALUE 2 ctx->rx_desc->wb.upper.length 1-u16max
DATA_SOURCE 0 q_vector $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh