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 |