Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ip_tunnel.c ip_tunnel_add() -> ip_bucket()

Type Parameter Key Value
PARAM_VALUE 0 itn->fb_tunnel_dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 itn->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 1 parms 4096-ptr_max
BUF_SIZE 0 itn->fb_tunnel_dev->nd_net.net (-1),1-s32max
DATA_SOURCE 0 itn $0
STR_LEN 0 itn->fb_tunnel_dev->nd_net.net (-1),5,7
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 parms->i_key 0-u32max
USER_DATA 1 parms->iph.daddr 0-u32max
USER_DATA 1 parms->iph.saddr 0-u32max
USER_DATA 1 parms->o_key 0-u32max
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/ip_tunnel.c ip_tunnel_find() -> ip_bucket()

Type Parameter Key Value
PARAM_VALUE 1 parms 4096-ptr_max
DATA_SOURCE 0 itn $0
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