Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/tun.c tun_attach() -> tun_force_wake_queue()

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 1 tfile 4096-ptr_max
PARAM_VALUE 1 tfile->ifindex 0-u16max
PARAM_VALUE 1 tfile->socket.sk 4096-ptr_max
PARAM_VALUE 1 tfile->socket.sk->sk_shutdown 0,2-254
PARAM_VALUE 1 tfile->tx_ring.consumer_lock.rlock.dep_map->name 0-255
BUF_SIZE 1 tfile s32min-(-2),1-s32max
BUF_SIZE 1 tfile s32min-(-2),1-s32max
DATA_SOURCE 0 tun $0
BIT_INFO 1 tfile->socket.sk->sk_shutdown 0x0,0xfe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 tfile->tx_ring.size
HALF_LOCKED2 global &rtnl_mutex

drivers/net/tun.c tun_queue_resize() -> tun_force_wake_queue()

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->numqueues 1-s32max
PARAM_VALUE 0 tun->tfiles 4096-ptr_max
CAPPED_DATA 0 tun->numqueues 1
CAPPED_DATA 0 &tun->disabled 1
DATA_SOURCE 0 tun $0
NOCHECK_CALL

drivers/net/tun.c tun_set_iff() -> tun_force_wake_queue()

Type Parameter Key Value
PARAM_VALUE 0 tun 4096-ptr_max
PARAM_VALUE 0 tun->align 64
PARAM_VALUE 0 tun->dev 4096-ptr_max
PARAM_VALUE 0 tun->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 tun->dev->rtnl_link_ops 4975199222072889344
PARAM_VALUE 0 tun->file 4096-ptr_max
PARAM_VALUE 0 tun->file->private_data 4096-ptr_max
PARAM_VALUE 0 tun->filter_attached 0
PARAM_VALUE 0 tun->ifr 7424469257454813184
PARAM_VALUE 0 tun->ifr->ifr_ifru.ifru_flags s16min-(-1),1-s16max
PARAM_VALUE 0 tun->numqueues 1-u32max
PARAM_VALUE 0 tun->rx_batched 0
PARAM_VALUE 0 tun->steering_prog 0
PARAM_VALUE 0 tun->tfiles 4096-ptr_max
PARAM_VALUE 0 tun->txflt.count 0
PARAM_VALUE 0 tun->vnet_hdr_sz 10
CAPPED_DATA 0 tun->dev->nd_net.net 1
NOCHECK_CALL
USER_DATA 0 tun->flags 0-u32max[c]
USER_DATA 0 tun->ifr->ifr_ifru.ifru_addr.sa_family 0-u16max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_broadaddr.sa_family 0-u16max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_dstaddr.sa_family 0-u16max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_flags s16min-(-1),1-s16max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_hwaddr.sa_family 0-u16max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_ivalue s32min-s32max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_map.base_addr 0-u16max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_map.dma 0-255
USER_DATA 0 tun->ifr->ifr_ifru.ifru_map.irq 0-255
USER_DATA 0 tun->ifr->ifr_ifru.ifru_map.mem_end 0-u64max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_map.mem_start 0-u64max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_map.port 0-255
USER_DATA 0 tun->ifr->ifr_ifru.ifru_mtu s32min-s32max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_netmask.sa_family 0-u16max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_settings.size 0-u32max
USER_DATA 0 tun->ifr->ifr_ifru.ifru_settings.type 0-u32max
LOCK2 global &rtnl_mutex