Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/veth.c veth_xdp_rcv_skb() -> veth_convert_skb_to_xdp_buff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rq | 4096-ptr_max |
| PARAM_VALUE | 0 | rq->page_pool->p.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | rq->xdp_prog | 1-u64max |
| PARAM_VALUE | 0 | rq->xdp_ring->queue | 0 |
| PARAM_VALUE | 0 | rq->xdp_ring.consumer_head | s32min-2147483646 |
| PARAM_VALUE | 0 | rq->xdp_ring.size | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | xdp | 7726436566571843584 |
| PARAM_VALUE | 2 | *pskb | 4096-ptr_max |
| BUF_SIZE | 1 | xdp | 56 |
| CAPPED_DATA | 0 | rq->xdp_ring.batch | 1 |
| CAPPED_DATA | 0 | rq->xdp_ring.size | 1 |
| DATA_SOURCE | 0 | rq | $0 |
| USER_PTR | 2 | (*pskb).data | |
| LOCK2 | rcu_read |