Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/tun.c tun_get_user() -> tun_rx_batched()

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
PARAM_VALUE 0 tun->flags 4096-2147483646,2147483648-u32max
PARAM_VALUE 1 tfile 4096-ptr_max
PARAM_VALUE 1 tfile->napi_enabled 0
PARAM_VALUE 1 tfile->napi_frags_enabled 0
PARAM_VALUE 1 tfile->socket.sk 4096-ptr_max
PARAM_VALUE 1 tfile->socket.sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 tfile->tun 4096-ptr_max
PARAM_VALUE 1 tfile->tun->dev 0,4096-ptr_max
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->csum 0-4294967295
PARAM_VALUE 2 skb->data_len 0-4294967295
PARAM_VALUE 2 skb->destructor 0,5871617288306880512,7346051344949997568
PARAM_VALUE 2 skb->encapsulation 0-1
PARAM_VALUE 2 skb->hash 0-4294967295
PARAM_VALUE 2 skb->headers.csum 0-4294967295
PARAM_VALUE 2 skb->headers.hash 0-4294967295
PARAM_VALUE 2 skb->headers.priority 0-4294967295
PARAM_VALUE 2 skb->headers.reserved_tailroom 0-4294967295
PARAM_VALUE 2 skb->headers.secmark 0-4294967295
PARAM_VALUE 2 skb->headers.sender_cpu 0-4294967295
PARAM_VALUE 2 skb->headers.vlan_all 0-4294967295
PARAM_VALUE 2 skb->inner_protocol 0,2048,34525
PARAM_VALUE 2 skb->inner_protocol_type 0
PARAM_VALUE 2 skb->ip_summed 0,3
PARAM_VALUE 2 skb->mark 0-4294967295
PARAM_VALUE 2 skb->napi_id 0-4294967295
PARAM_VALUE 2 skb->priority 0-4294967295
PARAM_VALUE 2 skb->queue_mapping 1-u16max
PARAM_VALUE 2 skb->reserved_tailroom 0-4294967295
PARAM_VALUE 2 skb->secmark 0-4294967295
PARAM_VALUE 2 skb->sender_cpu 0-4294967295
PARAM_VALUE 2 skb->sk 0,4096-ptr_max
PARAM_VALUE 2 skb->sk->sk_callback_lock.owner_cpu 0-4294967295
PARAM_VALUE 2 skb->vlan_all 0-4294967295
BUF_SIZE 1 tfile s32min-(-1),1-s32max
BUF_SIZE 1 tfile s32min-(-1),1-s32max
BUF_SIZE 2 skb (-1)-s32max
BUF_SIZE 2 skb (-1)-s32max
DATA_SOURCE 0 tun $0
DATA_SOURCE 1 tfile $1
DATA_SOURCE 3 more $5
BIT_INFO 0 tun->dev->flags 0x1,0xffffffff
BIT_INFO 3 more 0x0,0x0
NOSPEC 2 skb->len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tfile->napi.skb->protocol 0-u16max[u]
USER_DATA 3 more 0-1[c]
LOCK2 rcu_read