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_del()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->mdb_tbl.p.hashfn 4096-ptr_max
PARAM_VALUE 1 group 7486898716646051848,8232936559673810952
PARAM_VALUE 2 remote 4096-ptr_max
PARAM_VALUE 2 remote->rd 4096-ptr_max
PARAM_VALUE 3 ent 4096-ptr_max
BUF_SIZE 2 remote (-1),56
BUF_SIZE 2 remote (-1),56
DATA_SOURCE 2 remote $1
BIT_INFO 3 ent->flags 0x2,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/vxlan/vxlan_mdb.c vxlan_mdb_remote_srcs_del() -> vxlan_mdb_remote_src_del()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->cfg.flags 8192-u32max
PARAM_VALUE 0 vxlan->dev 4096-ptr_max
PARAM_VALUE 0 vxlan->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 1 group 4096-ptr_max
PARAM_VALUE 2 remote 4096-ptr_max
PARAM_VALUE 2 remote->list.next->prev 4096-ptr_max
PARAM_VALUE 2 remote->rd 4096-ptr_max
PARAM_VALUE 3 ent 4096-ptr_max
CAPPED_DATA 0 vxlan->dev->nd_net.net 1
CAPPED_DATA 2 remote->rd->remote_port 1
DATA_SOURCE 0 vxlan $0
DATA_SOURCE 1 group $1
DATA_SOURCE 2 remote $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/vxlan/vxlan_mdb.c vxlan_mdb_remote_srcs_replace() -> vxlan_mdb_remote_src_del()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->mdb_tbl.p.hashfn 4096-ptr_max
PARAM_VALUE 1 group 4096-ptr_max
PARAM_VALUE 2 remote 4096-ptr_max
PARAM_VALUE 2 remote->rd 4096-ptr_max
PARAM_VALUE 3 ent 4096-ptr_max
DATA_SOURCE 2 remote $2
BIT_INFO 3 ent->flags 0x1,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL