Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vxlan/vxlan_mdb.c __vxlan_mdb_add() -> vxlan_mdb_entry_put()

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 mdb_entry 4096-ptr_max
BUF_SIZE 1 mdb_entry (-1),120
BUF_SIZE 1 mdb_entry (-1),120
DATA_SOURCE 1 mdb_entry r vxlan_mdb_entry_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/vxlan/vxlan_mdb.c __vxlan_mdb_del() -> vxlan_mdb_entry_put()

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 0 vxlan->mdb_tbl.p.hashfn 4096-ptr_max
PARAM_VALUE 1 mdb_entry 4096-ptr_max
CAPPED_DATA 0 vxlan->dev->nd_net.net 1
DATA_SOURCE 1 mdb_entry r vxlan_mdb_entry_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/vxlan/vxlan_mdb.c vxlan_mdb_flush() -> vxlan_mdb_entry_put()

Type Parameter Key Value
PARAM_VALUE 0 vxlan->cfg.flags 8192-u32max
PARAM_VALUE 1 mdb_entry 4096-ptr_max
CAPPED_DATA 0 vxlan->dev->nd_net.net 1
DATA_SOURCE 0 vxlan $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL