Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tfile 4096-ptr_max
PARAM_VALUE 0 tfile->napi_frags_enabled 0
PARAM_VALUE 0 tfile->tun 4096-ptr_max
PARAM_VALUE 0 tfile->tun->dev 0,4096-ptr_max
PARAM_VALUE 1 prepad 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 len 0-1000000000,18446744071562067968-u64max
PARAM_VALUE 3 linear 0-s32max,18446744071562067968-u64max
PARAM_VALUE 4 noblock 0-1,64
BUF_SIZE 0 tfile s32min-(-1),1-s32max
BUF_SIZE 0 tfile s32min-(-1),1-s32max
CAPPED_DATA 2 len 1
CAPPED_DATA 3 linear 1
CAPPED_DATA 3 linear 1
DATA_SOURCE 0 tfile $1
DATA_SOURCE 4 noblock $4
FUZZY_MAX 4 noblock 1
BIT_INFO 3 linear 0x0,0x7fffffff
BIT_INFO 3 linear 0x0,0x7fffffff
BIT_INFO 4 noblock 0x0,0x41
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 len 0-1000000000,18446744072709551616-u64max[c]
USER_DATA 3 linear 0-1000000000[c]
USER_DATA 4 noblock 64[c]
UNITS 2 len unit_byte
UNITS 3 linear unit_byte