Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/sit.c ipip6_changelink() -> ipip6_tunnel_update()

Type Parameter Key Value
PARAM_VALUE 0 t->net->gen 4096-ptr_max
PARAM_VALUE 1 p 186787221090697216
PARAM_VALUE 1 p->i_key 0
PARAM_VALUE 1 p->iph.frag_off 0,16384
PARAM_VALUE 1 p->iph.id 0
PARAM_VALUE 1 p->iph.ihl 5
PARAM_VALUE 1 p->iph.version 4
PARAM_VALUE 1 p->o_key 0
MEM_ZERO 1 p
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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/ipv6/sit.c ipip6_tunnel_change() -> ipip6_tunnel_update()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->net->gen 4096-ptr_max
PARAM_VALUE 1 p 6012584752696856576
PARAM_VALUE 1 p->iph.frag_off 0-49150
PARAM_VALUE 1 p->iph.ihl 5
PARAM_VALUE 1 p->iph.protocol 0,4,41,137
PARAM_VALUE 1 p->iph.version 4
DATA_SOURCE 1 p $1
RX_PATH
NOCHECK_CALL
USER_DATA 1 p->i_key 0-u32max
USER_DATA 1 p->iph.addrs.daddr 0-u32max
USER_DATA 1 p->iph.addrs.saddr 0-u32max
USER_DATA 1 p->iph.check 0-u16max
USER_DATA 1 p->iph.daddr 0-u32max
USER_DATA 1 p->iph.frag_off 0-49150
USER_DATA 1 p->iph.id 0-u16max
USER_DATA 1 p->iph.protocol 0,4,41,137
USER_DATA 1 p->iph.saddr 0-u32max
USER_DATA 1 p->iph.tos 0-255
USER_DATA 1 p->iph.tot_len 0-u16max
USER_DATA 1 p->iph.ttl 0-255
USER_DATA 1 p->link s32min-s32max
USER_DATA 1 p->o_key 0-u32max
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex