Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/xdp/xsk_buff_pool.c xp_alloc_new_from_fq() -> __xskq_cons_read_addr_unchecked()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 2 addr 6459556558753751040
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 q->ring->consumer

net/xdp/xsk_buff_pool.c xskq_cons_read_addr_unchecked() -> __xskq_cons_read_addr_unchecked()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 2 addr 114816929235832832
DATA_SOURCE 0 q $0
DATA_SOURCE 2 addr $1
PARAM_COMPARE 0 q->cached_cons != $0->cached_prod
PARAM_COMPARE 1 cached_cons != $0->cached_prod
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 q->cached_cons
NO_OVERFLOW_SIMPLE 0 q->ring->consumer
NO_OVERFLOW_SIMPLE 1 cached_cons
UNITS 1 cached_cons unit_page
HALF_LOCKED2 &pool->rx_lock
HALF_LOCKED2 rcu_read