Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vxlan/vxlan_core.c vxlan_fdb_destroy() -> vxlan_fdb_notify()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 fdb 4096-ptr_max
PARAM_VALUE 1 fdb->nh 1-u64max
PARAM_VALUE 2 rd 0
PARAM_VALUE 3 type 29
PARAM_VALUE 5 extack 0
DATA_SOURCE 0 vxlan $0
DATA_SOURCE 1 fdb $1
DATA_SOURCE 4 swdev_notify $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &vxlan->hash_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct vxlan_dev)->hash_lock

drivers/net/vxlan/vxlan_core.c vxlan_fdb_destroy() -> vxlan_fdb_notify()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 fdb 4096-ptr_max
PARAM_VALUE 1 fdb->nh 0
PARAM_VALUE 2 rd 4096-ptr_max
PARAM_VALUE 3 type 29
PARAM_VALUE 5 extack 0
CAPPED_DATA 1 &fdb->remotes 1
CAPPED_DATA 2 &rd->list 1
DATA_SOURCE 0 vxlan $0
DATA_SOURCE 1 fdb $1
DATA_SOURCE 4 swdev_notify $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &vxlan->hash_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct vxlan_dev)->hash_lock

drivers/net/vxlan/vxlan_core.c vxlan_fdb_dst_destroy() -> vxlan_fdb_notify()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 fdb 4096-ptr_max
PARAM_VALUE 2 rd 4096-ptr_max
PARAM_VALUE 2 rd->list.next->prev 4096-ptr_max
PARAM_VALUE 3 type 29
PARAM_VALUE 5 extack 0
DATA_SOURCE 0 vxlan $0
DATA_SOURCE 1 fdb $1
DATA_SOURCE 2 rd $2
DATA_SOURCE 4 swdev_notify $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &vxlan->hash_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct vxlan_dev)->hash_lock

drivers/net/vxlan/vxlan_core.c vxlan_fdb_miss() -> vxlan_fdb_notify()

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 fdb 3613293608174424064
PARAM_VALUE 1 fdb->flags 0
PARAM_VALUE 1 fdb->key.vni 0
PARAM_VALUE 1 fdb->nh 0
PARAM_VALUE 1 fdb->rcu.func 0
PARAM_VALUE 1 fdb->rcu.next 0
PARAM_VALUE 1 fdb->state 4
PARAM_VALUE 1 fdb->updated 0
PARAM_VALUE 1 fdb->used 0
PARAM_VALUE 1 fdb->vdev 0
PARAM_VALUE 2 rd 8428800709932695552
PARAM_VALUE 2 rd->offloaded 0
PARAM_VALUE 2 rd->rcu.func 0
PARAM_VALUE 2 rd->rcu.next 0
PARAM_VALUE 2 rd->remote_ifindex 0
PARAM_VALUE 2 rd->remote_ip.sa.sa_family 0
PARAM_VALUE 2 rd->remote_ip.sin.sin_addr.s_addr 0
PARAM_VALUE 2 rd->remote_port 0
PARAM_VALUE 2 rd->remote_vni 0
PARAM_VALUE 3 type 30
PARAM_VALUE 4 swdev_notify 1
PARAM_VALUE 5 extack 0
DATA_SOURCE 0 vxlan $0
BIT_INFO 0 vxlan->cfg.flags 0x8,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_fdb_update_create() -> vxlan_fdb_notify()

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 0 vxlan->fdb_hash_tbl.p.obj_hashfn 0
PARAM_VALUE 0 vxlan->fdb_list->first->pprev 1-u64max
PARAM_VALUE 0 vxlan->fdb_list.first 4096-ptr_max
PARAM_VALUE 0 vxlan->fdb_list.first->pprev 4096-ptr_max
PARAM_VALUE 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *vxlan->dev->name 0-255
PARAM_VALUE 1 fdb 4096-ptr_max
PARAM_VALUE 1 fdb->flags 0,2-510
PARAM_VALUE 1 fdb->state 2-u16max
PARAM_VALUE 1 fdb->vdev s64min-(-4096),4096-s64max
PARAM_VALUE 2 rd 0,4096-ptr_max
PARAM_VALUE 3 type 28
CAPPED_DATA 0 vxlan->fdb_hash_tbl.tbl 1
DATA_SOURCE 0 vxlan $0
DATA_SOURCE 4 swdev_notify $11
DATA_SOURCE 5 extack $12
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fdb->flags 0,256-510[c]
USER_DATA 1 fdb->state 2-u16max
LOCK2 0 &vxlan->hash_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct vxlan_dev)->hash_lock

drivers/net/vxlan/vxlan_core.c vxlan_fdb_update_existing() -> vxlan_fdb_notify()

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 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 fdb 4096-ptr_max
PARAM_VALUE 1 fdb->flags 0,2-u16max
PARAM_VALUE 2 rd 0,4096-ptr_max
PARAM_VALUE 2 rd->offloaded 0-1
PARAM_VALUE 3 type 28
CAPPED_DATA 1 fdb->flags 1
DATA_SOURCE 0 vxlan $0
DATA_SOURCE 1 fdb $8
DATA_SOURCE 4 swdev_notify $10
DATA_SOURCE 5 extack $11
NOSPEC 1 fdb->flags
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fdb->flags 0,256-510[c]
USER_DATA 1 fdb->state 2-u16max[c]
LOCK2 0 &vxlan->hash_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct vxlan_dev)->hash_lock

drivers/net/vxlan/vxlan_core.c vxlan_ip_miss() -> vxlan_fdb_notify()

Type Parameter Key Value
PARAM_VALUE 1 fdb 2148338486408548352
PARAM_VALUE 1 fdb->flags 0
PARAM_VALUE 1 fdb->key.vni 0
PARAM_VALUE 1 fdb->nh 0
PARAM_VALUE 1 fdb->rcu.func 0
PARAM_VALUE 1 fdb->rcu.next 0
PARAM_VALUE 1 fdb->state 4
PARAM_VALUE 1 fdb->updated 0
PARAM_VALUE 1 fdb->used 0
PARAM_VALUE 1 fdb->vdev 0
PARAM_VALUE 2 rd 7860004333368430592
PARAM_VALUE 2 rd->offloaded 0
PARAM_VALUE 2 rd->rcu.func 0
PARAM_VALUE 2 rd->rcu.next 0
PARAM_VALUE 2 rd->remote_ifindex 0
PARAM_VALUE 2 rd->remote_port 0
PARAM_VALUE 2 rd->remote_vni 16777216
PARAM_VALUE 3 type 30
PARAM_VALUE 4 swdev_notify 1
PARAM_VALUE 5 extack 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/vxlan/vxlan_core.c vxlan_snoop() -> vxlan_fdb_notify()

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 fdb 4096-ptr_max
PARAM_VALUE 1 fdb->nh 0
PARAM_VALUE 2 rd 4096-ptr_max
PARAM_VALUE 3 type 28
PARAM_VALUE 4 swdev_notify 1
PARAM_VALUE 5 extack 0
DATA_SOURCE 1 fdb r vxlan_find_mac_rcu
DATA_SOURCE 2 rd r first_remote_rcu
BIT_INFO 1 fdb->state 0x0,0xff3f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read