Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tpage 2174285668243595264
PARAM_VALUE 0 tpage->count 0-1
MEM_ZERO 0 tpage
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 tpage 2174285668243595264
PARAM_VALUE 0 tpage->count 0-16
DATA_SOURCE 0 tpage $4
MEM_ZERO 0 tpage
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &vq->mutex