Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vxlan/vxlan_mdb.c vxlan_mdb_remote_src_add() -> vxlan_mdb_remote_src_fwd_add()

Type Parameter Key Value
PARAM_VALUE 0 cfg 7486898716646051840,8232936559673810944
PARAM_VALUE 0 cfg->filter_mode 0-1
PARAM_VALUE 0 cfg->flags 0-1
PARAM_VALUE 0 cfg->nlflags 256-u16max
PARAM_VALUE 0 cfg->src_list.next 2998832437026377800,7486898716646051912,8232936559673811016
PARAM_VALUE 0 cfg->src_list.prev 4096-ptr_max
PARAM_VALUE 0 cfg->vxlan 4096-ptr_max
PARAM_VALUE 0 cfg->vxlan->mdb_tbl.p.hashfn 4096-ptr_max
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 cfg $0
DATA_SOURCE 2 extack $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cfg->nlflags 256-u16max[u]