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_replace() -> vxlan_mdb_remote_srcs_replace()

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 mdb_entry 4096-ptr_max
PARAM_VALUE 2 remote 4096-ptr_max
PARAM_VALUE 2 remote->rd 4096-ptr_max
BUF_SIZE 1 mdb_entry (-1),120
BUF_SIZE 1 mdb_entry (-1),120
DATA_SOURCE 0 cfg $0
DATA_SOURCE 1 mdb_entry $1
DATA_SOURCE 2 remote $2
DATA_SOURCE 3 extack $3
BIT_INFO 0 cfg->nlflags 0x100,0xffff
MEM_ZERO 0 cfg
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cfg->nlflags 256-u16max[u]