Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/tun.c __tun_chr_ioctl() -> tun_get()

Type Parameter Key Value
BUF_SIZE 0 tfile s32min-(-2),1-s32max
BUF_SIZE 0 tfile s32min-(-2),1-s32max
CAPPED_DATA 0 tfile->sk.__sk_common.skc_net.net 1
LOCK2 global &rtnl_mutex

drivers/net/tun.c tun_chr_poll() -> tun_get()

Type Parameter Key Value
BUF_SIZE 0 tfile s32min-(-2),1-s32max
BUF_SIZE 0 tfile s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/net/tun.c tun_chr_read_iter() -> tun_get()

Type Parameter Key Value
BUF_SIZE 0 tfile s32min-(-2),1-s32max
BUF_SIZE 0 tfile s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/net/tun.c tun_chr_show_fdinfo() -> tun_get()

Type Parameter Key Value
BUF_SIZE 0 tfile s32min-(-2),1-s32max
BUF_SIZE 0 tfile s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
LOCK2 global &rtnl_mutex
TYPE_LOCK (struct seq_file)->lock

drivers/net/tun.c tun_chr_write_iter() -> tun_get()

Type Parameter Key Value
BUF_SIZE 0 tfile s32min-(-2),1-s32max
BUF_SIZE 0 tfile s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/net/tun.c tun_peek_len() -> tun_get()

Type Parameter Key Value
PARAM_VALUE 0 tfile 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex

drivers/net/tun.c tun_recvmsg() -> tun_get()

Type Parameter Key Value
PARAM_VALUE 0 tfile 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 tfile 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk