Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->dev 0,4096-ptr_max
PARAM_VALUE 0 *tun->dev->name 0-255
DATA_SOURCE 0 tun r tun_get
NOSPEC 0 tun->fprog.len
NOCHECK_CALL
USER_DATA 0 tun->dev->type 0-821,823,825,65534
USER_DATA 0 tun->fprog.len 1-4096
USER_DATA 0 tun->msg_enable 0-u32max
USER_DATA 0 tun->sndbuf 1-s32max
USER_DATA 0 tun->vnet_hdr_sz 10-s32max

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

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->dev 4096-ptr_max
PARAM_VALUE 0 tun->dev->flags 1-u32max
DATA_SOURCE 0 tun r tun_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_put()

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->dev 0,4096-ptr_max
PARAM_VALUE 0 *tun->dev->name 0-255
DATA_SOURCE 0 tun r tun_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->dev 0,4096-ptr_max
DATA_SOURCE 0 tun r tun_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 *tun->dev->name 0-255
DATA_SOURCE 0 tun r tun_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->dev 0,4096-ptr_max
DATA_SOURCE 0 tun r tun_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->dev 0,4096-ptr_max
PARAM_VALUE 0 *tun->dev->name 0-255
DATA_SOURCE 0 tun r tun_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->dev 0,4096-ptr_max
DATA_SOURCE 0 tun r tun_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 *tun->dev->name 0-255
DATA_SOURCE 0 tun r tun_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk