Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/net.c handle_tx_copy() -> vhost_net_build_xdp()

Type Parameter Key Value
PARAM_VALUE 0 nvq 4096-ptr_max
PARAM_VALUE 0 nvq->batched_xdp 0
PARAM_VALUE 0 nvq->sock_hlen 0,10,12,24
PARAM_VALUE 1 from 6841281207476211728
PARAM_VALUE 1 from->__iov 0,4096-u64max
PARAM_VALUE 1 from->bvec 0,4096-u64max
BUF_SIZE 0 nvq 19064
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 nvq->vq.avail_idx 0-u16max
HOST_DATA 0 nvq->vq.signalled_used 0-u16max
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex