Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/ip_tunnel.c ip_tunnel_changelink() -> ip_tunnel_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | itn | 4096-ptr_max |
| PARAM_VALUE | 1 | t | 4096-ptr_max |
| PARAM_VALUE | 1 | t->net | 4096-ptr_max |
| PARAM_VALUE | 1 | t->parms.i_flags | 4096-ptr_max |
| PARAM_VALUE | 2 | dev | 4096-ptr_max |
| PARAM_VALUE | 2 | dev->rtnl_link_ops | 4096-ptr_max |
| PARAM_VALUE | 3 | p | 3213090322828001280,4156107185425526784,4955051728275795968,5569861997573156864 |
| PARAM_VALUE | 3 | p->i_flags | 4096-ptr_max |
| PARAM_VALUE | 3 | p->iph.daddr | 0 |
| PARAM_VALUE | 3 | p->iph.frag_off | 0,16384 |
| PARAM_VALUE | 3 | p->iph.id | 0 |
| PARAM_VALUE | 3 | p->iph.ihl | 0,5 |
| CAPPED_DATA | 2 | dev | 1 |
| CAPPED_DATA | 2 | dev->nd_net.net | 1 |
| CAPPED_DATA | 2 | dev->rtnl_link_ops | 1 |
| DATA_SOURCE | 0 | itn | r net_generic |
| DATA_SOURCE | 2 | dev | $0 |
| DATA_SOURCE | 3 | p | $2 |
| DATA_SOURCE | 5 | fwmark | $3 |
| PARAM_COMPARE | 2 | dev | != $0->fb_tunnel_dev |
| PARAM_COMPARE | 2 | dev | != $0->fb_tunnel_dev |
| HARD_MAX | 3 | p->iph.ihl | 5 |
| MEM_ZERO | 3 | 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/ipv4/ip_tunnel.c ip_tunnel_ctl() -> ip_tunnel_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | itn | 4096-ptr_max |
| PARAM_VALUE | 1 | t | 1-u64max |
| PARAM_VALUE | 1 | t->net->gen | 4096-ptr_max |
| PARAM_VALUE | 1 | t->parms.i_flags | 4096-ptr_max |
| PARAM_VALUE | 2 | dev | 4096-ptr_max |
| PARAM_VALUE | 2 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | dev->netdev_ops->ndo_siocdevprivate | 0,4096-ptr_max |
| PARAM_VALUE | 2 | dev->netdev_ops->ndo_tunnel_ctl | 0,917093382293667840,4545361732256555008,4823928543964098560,6362961764887379968 |
| PARAM_VALUE | 3 | p | 6012584752696856576,7432946446435254272 |
| PARAM_VALUE | 3 | p->i_flags | 4096-ptr_max |
| PARAM_VALUE | 4 | set_mtu | 1 |
| PARAM_VALUE | 5 | fwmark | 0 |
| CAPPED_DATA | 2 | dev | 1 |
| DATA_SOURCE | 0 | itn | r net_generic |
| DATA_SOURCE | 2 | dev | $0 |
| DATA_SOURCE | 3 | p | $1 |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | p->i_key | 0-u32max |
| USER_DATA | 3 | p->iph.addrs.daddr | 0-u32max |
| USER_DATA | 3 | p->iph.addrs.saddr | 0-u32max |
| USER_DATA | 3 | p->iph.check | 0-u16max |
| USER_DATA | 3 | p->iph.daddr | 0-u32max |
| USER_DATA | 3 | p->iph.frag_off | 0-u16max |
| USER_DATA | 3 | p->iph.id | 0-u16max |
| USER_DATA | 3 | p->iph.protocol | 0-255 |
| USER_DATA | 3 | p->iph.saddr | 0-u32max |
| USER_DATA | 3 | p->iph.tos | 0-255 |
| USER_DATA | 3 | p->iph.tot_len | 0-u16max |
| USER_DATA | 3 | p->iph.ttl | 0-255 |
| USER_DATA | 3 | p->link | s32min-s32max |
| USER_DATA | 3 | p->o_key | 0-u32max |
| HALF_LOCKED2 | global &rtnl_mutex |