Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/net/veth.c, line 903
- drivers/net/xen-netfront.c, line 1003
- net/bpf/test_run.c
- net/core/xdp.c, line 564
- net/xdp/xsk.c, line 469
Smatch caller information:
drivers/net/xen-netfront.c xennet_run_xdp() -> xdp_return_buff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xdp | 1869551789200502784 |
| PARAM_VALUE | 0 | xdp->data_hard_start | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | xdp->data_meta | 18379471554275705089,18446612682070032641 |
| PARAM_VALUE | 0 | xdp->frame_sz_flags_init | 3840 |
| PARAM_VALUE | 0 | xdp->rxq | 4096-ptr_max |
| PARAM_VALUE | 0 | *xdp->data_end | 0-255 |
| PARAM_VALUE | 0 | *xdp->data_meta | 0-255 |
| DATA_SOURCE | 0 | xdp | $4 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &queue->rx_lock | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &ni->dev_lock | ||
| HALF_LOCKED2 | bh | ||
| TYPE_LOCK | (struct netfront_queue)->rx_lock |
net/bpf/test_run.c xdp_test_run_batch() -> xdp_return_buff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xdp | 4096-ptr_max |
| BUF_SIZE | 0 | xdp | 56 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | rcu_read |
net/bpf/test_run.c xdp_test_run_batch() -> xdp_return_buff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xdp | 4096-ptr_max |
| BUF_SIZE | 0 | xdp | 56 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | rcu_read |
net/bpf/test_run.c xdp_test_run_batch() -> xdp_return_buff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xdp | 4096-ptr_max |
| BUF_SIZE | 0 | xdp | 56 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | rcu_read |
drivers/net/veth.c veth_xdp_rcv_skb() -> xdp_return_buff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xdp | 7726436566571843584 |
| PARAM_VALUE | 0 | xdp->data_meta | 4096-ptr_max |
| PARAM_VALUE | 0 | xdp->flags | 0,2-u32max |
| PARAM_VALUE | 0 | xdp->frame_sz_flags_init | 0-u32max |
| PARAM_VALUE | 0 | xdp->rxq | 4096-ptr_max |
| PARAM_VALUE | 0 | *xdp->data_end | 0-255 |
| BUF_SIZE | 0 | xdp | 56 |
| CAPPED_DATA | 0 | xdp->data_meta | 1 |
| NOCHECK_CALL |
net/xdp/xsk.c xsk_rcv() -> xdp_return_buff()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xdp | 4096-ptr_max |
| PARAM_VALUE | 0 | xdp->flags | 1-u32max |
| PARAM_VALUE | 0 | xdp->rxq | 4096-ptr_max |
| PARAM_VALUE | 0 | xdp->rxq->mem.type | 0-2,4-u32max |
| PARAM_VALUE | 0 | xdp->rxq->queue_index | 0-4294967294 |
| BUF_SIZE | 0 | xdp->rxq | (-1),64 |
| CAPPED_DATA | 0 | xdp->data_meta | 1 |
| CAPPED_DATA | 0 | xdp->rxq->dev | 1 |
| CAPPED_DATA | 0 | xdp->rxq->queue_index | 1 |
| DATA_SOURCE | 0 | xdp | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |