Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/tun.c tun_sendmsg() -> tun_xdp_one()

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->dev 0,4096-ptr_max
PARAM_VALUE 1 tfile 4096-ptr_max
PARAM_VALUE 1 tfile->tun 4096-ptr_max
PARAM_VALUE 1 tfile->tun->dev 0,4096-ptr_max
PARAM_VALUE 2 xdp 4096-ptr_max
PARAM_VALUE 3 flush 286568987333656576
PARAM_VALUE 3 *flush 0-1
PARAM_VALUE 4 tpage 2174285668243595264
PARAM_VALUE 4 tpage->count 0-1
DATA_SOURCE 0 tun r tun_get
MEM_ZERO 4 tpage
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 xdp->data_hard_start->csum_start 0-u16max
HOST_DATA 2 xdp->data_hard_start->gso_size 1-u16max
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk