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_srcs_add() -> vxlan_mdb_remote_src_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 remote 4096-ptr_max
PARAM_VALUE 1 remote->rd 4096-ptr_max
PARAM_VALUE 2 src 4096-ptr_max
BUF_SIZE 1 remote (-1),56
BUF_SIZE 1 remote (-1),56
CAPPED_DATA 0 &cfg->src_list 1
CAPPED_DATA 2 &src->node 1
DATA_SOURCE 0 cfg $0
DATA_SOURCE 1 remote $1
DATA_SOURCE 3 extack $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cfg->nlflags 256-u16max[u]