Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv6/ip6_tunnel.c ip6_tnl_link_config() -> ip6_tnl_get_cap()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->dev 4096-ptr_max
PARAM_VALUE 0 t->fl.u.ip6.flowlabel 0-268435455
PARAM_VALUE 0 *t->dev->name 0
PARAM_VALUE 1 laddr 4096-ptr_max
PARAM_VALUE 2 raddr 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t $0
FUZZY_MAX 0 t->fl.u.ip6.flowlabel 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 t->parms.encap_limit 0
USER_DATA 0 t->parms.flags 0
USER_DATA 0 t->parms.flowinfo 0
USER_DATA 0 t->parms.hop_limit 0
USER_DATA 0 t->parms.link 0
USER_DATA 0 t->parms.proto 0
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/ip6_tunnel.c ip6_tnl_rcv_ctl() -> ip6_tnl_get_cap()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->dev 4096-ptr_max
PARAM_VALUE 0 t->parms.flags 262144-u32max
PARAM_VALUE 0 t->parms.proto 0,4,41,137
DATA_SOURCE 0 t $0
DATA_SOURCE 1 laddr $1
DATA_SOURCE 2 raddr $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

net/ipv6/ip6_tunnel.c ip6_tnl_xmit_ctl() -> ip6_tnl_get_cap()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->parms.collect_md 0
PARAM_VALUE 0 t->parms.flags 262144-u32max
PARAM_VALUE 1 laddr 4096-ptr_max
PARAM_VALUE 2 raddr 4096-ptr_max
DATA_SOURCE 0 t $0
DATA_SOURCE 1 laddr $1
DATA_SOURCE 2 raddr $2
RX_PATH
TASK_NOT_RUNNING

net/ipv6/ip6_gre.c ip6gre_tnl_link_config_common() -> ip6_tnl_get_cap()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->dev 4096-ptr_max
PARAM_VALUE 0 t->fl.u.ip6.__fl_common.flowic_proto 47
PARAM_VALUE 0 t->fl.u.ip6.flowlabel 0-268435455
PARAM_VALUE 0 t->parms.flags 0,2-u32max
PARAM_VALUE 0 *t->dev->name 0-255
PARAM_VALUE 1 laddr 4096-ptr_max
PARAM_VALUE 2 raddr 4096-ptr_max
DATA_SOURCE 0 t $0
FUZZY_MAX 0 t->fl.u.ip6.flowlabel 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 t->dev->ifindex 0-s32max[c]
USER_DATA 0 t->parms.encap_limit 0
USER_DATA 0 t->parms.flowinfo 0
USER_DATA 0 t->parms.hop_limit 0
USER_DATA 0 t->parms.i_key 0-u32max
USER_DATA 0 t->parms.link 0
USER_DATA 0 t->parms.o_key 0-u32max
NO_OVERFLOW_SIMPLE 0 t->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 t->dev->real_num_tx_queues
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/ip6_vti.c vti6_link_config() -> ip6_tnl_get_cap()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->dev 4096-ptr_max
PARAM_VALUE 0 *t->dev->name 0
PARAM_VALUE 1 laddr 4096-ptr_max
PARAM_VALUE 2 raddr 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 t->dev->max_mtu 68-u16max
HOST_DATA 0 t->dev->mtu 68-u16max
USER_DATA 0 t->dev->ifindex s32min-s32max
USER_DATA 0 t->dev->threaded 0-255
USER_DATA 0 t->parms.i_key 0
USER_DATA 0 t->parms.link 0
USER_DATA 0 t->parms.o_key 0
USER_DATA 0 t->parms.proto 0
HALF_LOCKED2 global &rtnl_mutex