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_add() -> vxlan_mdb_remote_fini()

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 remote 4096-ptr_max
PARAM_VALUE 1 remote->filter_mode 0-1
PARAM_VALUE 1 remote->flags 0-1
PARAM_VALUE 1 remote->rd 4096-ptr_max
PARAM_VALUE 1 remote->rt_protocol 0
BUF_SIZE 1 remote 56
DATA_SOURCE 1 remote r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/vxlan/vxlan_mdb.c vxlan_mdb_remote_del() -> vxlan_mdb_remote_fini()

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 remote 4096-ptr_max
PARAM_VALUE 1 remote->list.next->prev 4096-ptr_max
PARAM_VALUE 1 remote->rd 4096-ptr_max
CAPPED_DATA 0 vxlan->dev->nd_net.net 1
CAPPED_DATA 1 remote->rd->remote_port 1
DATA_SOURCE 0 vxlan $0
DATA_SOURCE 1 remote $2
PARAM_COMPARE 1 remote->rd->remote_port <= $0->cfg.dst_port
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL