Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vxlan/vxlan_core.c vxlan_fdb_add() -> vxlan_fdb_parse()

Type Parameter Key Value
PARAM_VALUE 0 tb 4096-ptr_max
PARAM_VALUE 0 (*tb).nla_len 0
PARAM_VALUE 0 (*tb).nla_type 0
PARAM_VALUE 2 ip 8874738499944095744
PARAM_VALUE 3 port 4939741183246299136
PARAM_VALUE 4 src_vni 335114827810697216
PARAM_VALUE 5 vni 5440735344877805568
PARAM_VALUE 6 ifindex 1325993543055151104
PARAM_VALUE 7 nhid 4809782075975335936
PARAM_VALUE 8 extack 4971238048455385088
PARAM_VALUE 8 extack->bad_attr 0
PARAM_VALUE 8 extack->policy 0
BUF_SIZE 0 tb 144
BUF_SIZE 0 tb 144
DATA_SOURCE 0 tb $1
DATA_SOURCE 8 extack $7
MEM_ZERO 8 extack
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
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 &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

drivers/net/vxlan/vxlan_core.c vxlan_fdb_delete() -> vxlan_fdb_parse()

Type Parameter Key Value
PARAM_VALUE 0 tb 4096-ptr_max
PARAM_VALUE 0 (*tb).nla_len 0
PARAM_VALUE 0 (*tb).nla_type 0
PARAM_VALUE 2 ip 3053183763485159424
PARAM_VALUE 3 port 3775633938511884288
PARAM_VALUE 4 src_vni 7499983245073006592
PARAM_VALUE 5 vni 4607427470398623744
PARAM_VALUE 6 ifindex 8685594666784645120
PARAM_VALUE 7 nhid 3824752020202299392
PARAM_VALUE 8 extack 4971238048455385088
PARAM_VALUE 8 extack->bad_attr 0
PARAM_VALUE 8 extack->policy 0
BUF_SIZE 0 tb 144
BUF_SIZE 0 tb 144
DATA_SOURCE 0 tb $1
DATA_SOURCE 8 extack $6
MEM_ZERO 8 extack
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
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 &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex