Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ip_tunnel_core.c ip6_tun_fill_encap_info() -> ip_tun_fill_encap_opts()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 1 type 8
PARAM_VALUE 2 tun_info 4096-ptr_max
PARAM_VALUE 2 tun_info->key.tun_flags 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
DATA_SOURCE 0 skb $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

net/ipv4/ip_tunnel_core.c ip_tun_fill_encap_info() -> ip_tun_fill_encap_opts()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 1 type 8
PARAM_VALUE 2 tun_info 4096-ptr_max
PARAM_VALUE 2 tun_info->key.tun_flags 4096-ptr_max
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
DATA_SOURCE 0 skb $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read