Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ip_tunnel.c ip_tunnel_changelink() -> ip_tunnel_find()

Type Parameter Key Value
PARAM_VALUE 0 itn 4096-ptr_max
PARAM_VALUE 1 parms 3213090322828001280,4156107185425526784,4955051728275795968,5569861997573156864
PARAM_VALUE 1 parms->iph.frag_off 0,16384
PARAM_VALUE 1 parms->iph.id 0
PARAM_VALUE 1 parms->iph.ihl 0,5
DATA_SOURCE 0 itn r net_generic
DATA_SOURCE 1 parms $2
HARD_MAX 1 parms->iph.ihl 5
MEM_ZERO 1 parms
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

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

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

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

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

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

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

net/ipv4/ip_tunnel.c ip_tunnel_newlink() -> ip_tunnel_find()

Type Parameter Key Value
PARAM_VALUE 1 parms 438142038516158464,2489376134566371328,3501163765636993024,8403151951823765504
PARAM_VALUE 1 parms->iph.frag_off 0,16384
PARAM_VALUE 1 parms->iph.id 0
PARAM_VALUE 1 parms->iph.ihl 0,5
DATA_SOURCE 0 itn r net_generic
DATA_SOURCE 1 parms $3
HARD_MAX 1 parms->iph.ihl 5
MEM_ZERO 1 parms
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex