Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/fungible/funeth/funeth_rx.c fun_handle_cqe_pkt() -> fun_run_xdp()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->buf_offset 0,128-u32max
PARAM_VALUE 0 q->cur_buf 4096-ptr_max
PARAM_VALUE 0 q->cur_buf->page->buddy_list.next 4096-ptr_max
PARAM_VALUE 0 q->cur_buf->page->buddy_list.prev 4096-ptr_max
PARAM_VALUE 0 q->cur_buf->page->pcp_list.next 4096-ptr_max
PARAM_VALUE 0 q->cur_buf->page->pcp_list.prev 4096-ptr_max
PARAM_VALUE 0 q->dma_dev->flags 4096-ptr_max
PARAM_VALUE 0 q->spare_buf.pg_refs (-2146483648)-s32max
PARAM_VALUE 1 frags 7216170202571460608
PARAM_VALUE 3 ref_ok 0-s32max
PARAM_VALUE 4 xdp_q 1-u64max
BUF_SIZE 1 frags 64
DATA_SOURCE 0 q $0
DATA_SOURCE 2 buf_va r skb_frag_address
DATA_SOURCE 3 ref_ok r fun_gather_pkt
DATA_SOURCE 4 xdp_q $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read