Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/virtio_net.c receive_small() -> receive_small_xdp()

Type Parameter Key Value
PARAM_VALUE 1 vi 4096-ptr_max
PARAM_VALUE 1 vi->big_packets 0
PARAM_VALUE 1 vi->mergeable_rx_bufs 0
PARAM_VALUE 1 vi->xdp_enabled 1
PARAM_VALUE 2 rq 4096-ptr_max
PARAM_VALUE 2 rq->page_pool->p.dev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 2 rq->page_pool->p.dev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 2 rq->page_pool->p.dev->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 2 rq->vq 4096-ptr_max
PARAM_VALUE 2 rq->vq->vdev 4096-ptr_max
PARAM_VALUE 2 rq->vq->vdev->priv 4096-ptr_max
PARAM_VALUE 2 rq->xdp_prog 1-u64max
PARAM_VALUE 2 rq->xsk_pool 0
PARAM_VALUE 3 xdp_prog 1-u64max
PARAM_VALUE 6 len 0-1518
PARAM_VALUE 7 buflen 0-4194303
PARAM_VALUE 8 xdp_xmit 8103674783210405888
PARAM_VALUE 9 stats 7118534626228477952
BUF_SIZE 1 vi s32min-(-2),1-s32max
BUF_SIZE 1 vi s32min-(-2),1-s32max
CAPPED_DATA 2 rq->vq->vdev->priv->dev->num_tx_queues 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 vi $1
DATA_SOURCE 2 rq $2
DATA_SOURCE 4 buf $3
DATA_SOURCE 5 xdp_headroom r mergeable_ctx_to_headroom
DATA_SOURCE 6 len $5
DATA_SOURCE 7 buflen r mergeable_ctx_to_truesize
DATA_SOURCE 8 xdp_xmit $6
DATA_SOURCE 9 stats $7
FUZZY_MAX 6 len 1518
PARAM_COMPARE 2 rq->xdp_prog == $3
PARAM_COMPARE 3 xdp_prog == $2->xdp_prog
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 6 len 14-1518
UNITS 1 vi unit_byte
UNITS 6 len unit_byte
LOCK2 rcu_read
HALF_LOCKED2 bh