Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- net/ipv4/ip_gre.c, line 841
- net/ipv4/ip_tunnel.c, line 998
- net/ipv4/ip_vti.c, line 405
- net/ipv4/ipip.c, line 353
Smatch caller information:
net/ipv4/ip_gre.c ipgre_tunnel_ctl() -> ip_tunnel_ctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_siocdevprivate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_tunnel_ctl | 0,917093382293667840,4545361732256555008,4823928543964098560,6362961764887379968 |
| PARAM_VALUE | 1 | p | 6012584752696856576,7432946446435254272 |
| PARAM_VALUE | 1 | p->i_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | p->o_flags | 4096-ptr_max |
| PARAM_VALUE | 2 | cmd | 35312-35327 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 2 | cmd | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | p | $1 |
| DATA_SOURCE | 2 | cmd | $2 |
| NOSPEC | 2 | cmd | |
| NOSPEC | 2 | cmd | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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-u16max |
| USER_DATA | 1 | p->iph.id | 0-u16max |
| USER_DATA | 1 | p->iph.protocol | 0-255 |
| 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 |
| USER_DATA | 2 | cmd | 35314,35316-35327[c] |
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv4/ipip.c ipip_tunnel_ctl() -> ip_tunnel_ctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_siocdevprivate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_tunnel_ctl | 0,917093382293667840,4545361732256555008,4823928543964098560,6362961764887379968 |
| PARAM_VALUE | 1 | p | 6012584752696856576,7432946446435254272 |
| PARAM_VALUE | 1 | p->i_key | 0 |
| PARAM_VALUE | 1 | p->o_key | 0 |
| PARAM_VALUE | 2 | cmd | 35312-35327 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 2 | cmd | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | p | $1 |
| DATA_SOURCE | 2 | cmd | $2 |
| NOSPEC | 2 | cmd | |
| NOSPEC | 2 | cmd | |
| MEM_ZERO | 1 | p->i_flags | |
| MEM_ZERO | 1 | p->o_flags | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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-u16max |
| USER_DATA | 1 | p->iph.id | 0-u16max |
| USER_DATA | 1 | p->iph.protocol | 0-255 |
| 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 | 2 | cmd | 35314,35316-35327[c] |
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv4/ip_vti.c vti_tunnel_ctl() -> ip_tunnel_ctl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_siocdevprivate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops->ndo_tunnel_ctl | 0,917093382293667840,4545361732256555008,4823928543964098560,6362961764887379968 |
| PARAM_VALUE | 1 | p | 6012584752696856576,7432946446435254272 |
| PARAM_VALUE | 1 | p->i_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | p->o_flags | 4096-ptr_max |
| PARAM_VALUE | 2 | cmd | 35312-35327 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 2 | cmd | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | p | $1 |
| DATA_SOURCE | 2 | cmd | $2 |
| NOSPEC | 2 | cmd | |
| NOSPEC | 2 | cmd | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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-u16max |
| USER_DATA | 1 | p->iph.id | 0-u16max |
| USER_DATA | 1 | p->iph.protocol | 0-255 |
| 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 |
| USER_DATA | 2 | cmd | 35314,35316-35327[c] |
| HALF_LOCKED2 | global &rtnl_mutex |