Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vxlan/vxlan_core.c arp_reduce() -> vxlan_find_mac_tx()

Type Parameter Key Value
BUF_SIZE 1 mac 32
DATA_SOURCE 2 vni $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/net/vxlan/vxlan_core.c neigh_reduce() -> vxlan_find_mac_tx()

Type Parameter Key Value
BUF_SIZE 1 mac 32
DATA_SOURCE 2 vni $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/net/vxlan/vxlan_core.c vxlan_xmit() -> vxlan_find_mac_tx()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 1 mac 0-u32max
BUF_SIZE 1 mac 6
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/net/vxlan/vxlan_core.c vxlan_xmit() -> vxlan_find_mac_tx()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->cfg.flags 8192-u32max
PARAM_VALUE 0 vxlan->fdb_hash_tbl.p.hashfn 4096-ptr_max
PARAM_VALUE 1 mac 0-u32max
BUF_SIZE 1 mac 6
BIT_INFO 0 vxlan->cfg.flags 0x4,0xffffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/net/vxlan/vxlan_core.c vxlan_xmit() -> vxlan_find_mac_tx()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->cfg.flags 8192-u32max
PARAM_VALUE 0 vxlan->fdb_hash_tbl.p.hashfn 4096-ptr_max
PARAM_VALUE 1 mac 316652219926626304
BUF_SIZE 1 mac 8
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags