Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xdp/xsk_buff_pool.c __xp_alloc() -> xp_check_unaligned()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 1 addr 114816929235832832
BUF_SIZE 0 pool (-1)-0,4,24,64,168-s32max
BUF_SIZE 0 pool (-1)-0,4,24,64,168-s32max
DATA_SOURCE 0 pool $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pool->dma_pages_cnt
NO_OVERFLOW_SIMPLE 0 pool->fq->cached_cons
NO_OVERFLOW_SIMPLE 0 pool->fq->ring->consumer
NO_OVERFLOW_SIMPLE 0 pool->free_heads_cnt
NO_OVERFLOW_SIMPLE 0 pool->heads_cnt
NO_OVERFLOW_SIMPLE 0 pool->queue_id
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &pool->rx_lock

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

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 1 addr 6459556558753751040
BUF_SIZE 0 pool (-1)-0,4,24,64,168-s32max
BUF_SIZE 0 pool (-1)-0,4,24,64,168-s32max
DATA_SOURCE 0 pool $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pool->dma_pages_cnt
NO_OVERFLOW_SIMPLE 0 pool->fq->ring->consumer
NO_OVERFLOW_SIMPLE 0 pool->free_heads_cnt
NO_OVERFLOW_SIMPLE 0 pool->free_list_cnt
NO_OVERFLOW_SIMPLE 0 pool->heads_cnt
NO_OVERFLOW_SIMPLE 0 pool->queue_id