Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vxlan/vxlan_mdb.c vxlan_mdb_add() -> __vxlan_mdb_add()

Type Parameter Key Value
PARAM_VALUE 0 cfg 7486898716646051840
PARAM_VALUE 0 cfg->flags 0
PARAM_VALUE 0 cfg->group.dst.sa.sa_family 2,10
PARAM_VALUE 0 cfg->group.src.sa.sa_family 2,10
PARAM_VALUE 0 cfg->remote_ip.sa.sa_family 2,10
PARAM_VALUE 0 cfg->src_list.next 2998832437026377800,7486898716646051912
PARAM_VALUE 0 cfg->src_list.prev 4096-ptr_max
PARAM_VALUE 1 extack 4971238048455385088
PARAM_VALUE 1 extack->_msg 0
PARAM_VALUE 1 extack->bad_attr 0
PARAM_VALUE 1 extack->miss_nest 0
PARAM_VALUE 1 extack->miss_type 0
PARAM_VALUE 1 extack->policy 0
DATA_SOURCE 1 extack $3
MEM_ZERO 0 cfg
MEM_ZERO 1 extack
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cfg->nlflags 0[u]
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_mdb.c vxlan_mdb_remote_src_fwd_add() -> __vxlan_mdb_add()

Type Parameter Key Value
PARAM_VALUE 0 cfg 8232936559673810944
PARAM_VALUE 0 cfg->filter_mode 1
PARAM_VALUE 0 cfg->flags 0-1
PARAM_VALUE 0 cfg->nlflags 256-u16max
PARAM_VALUE 0 cfg->src_list.next 8232936559673811016
PARAM_VALUE 0 cfg->src_list.prev 8232936559673811016
PARAM_VALUE 0 cfg->vxlan 4096-ptr_max
DATA_SOURCE 1 extack $2
MEM_ZERO 0 cfg
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cfg->nlflags 256-u16max[u]