Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ip_tunnel.c ip_tunnel_ctl() -> ip_tunnel_create()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 1 itn 4096-ptr_max
PARAM_VALUE 2 parms 6012584752696856576,7432946446435254272
PARAM_VALUE 2 parms->i_flags 4096-ptr_max
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 1 itn r net_generic
DATA_SOURCE 2 parms $1
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 parms->i_key 0-u32max
USER_DATA 2 parms->iph.addrs.daddr 0-u32max
USER_DATA 2 parms->iph.addrs.saddr 0-u32max
USER_DATA 2 parms->iph.check 0-u16max
USER_DATA 2 parms->iph.daddr 0-u32max
USER_DATA 2 parms->iph.frag_off 0-u16max
USER_DATA 2 parms->iph.id 0-u16max
USER_DATA 2 parms->iph.protocol 0-255
USER_DATA 2 parms->iph.saddr 0-u32max
USER_DATA 2 parms->iph.tos 0-255
USER_DATA 2 parms->iph.tot_len 0-u16max
USER_DATA 2 parms->iph.ttl 0-255
USER_DATA 2 parms->link s32min-s32max
USER_DATA 2 parms->o_key 0-u32max
UNITS 0 net unit_byte
HALF_LOCKED2 global &rtnl_mutex