Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/vxlan/vxlan_vnifilter.c vxlan_update_default_fdb_entry() -> __vxlan_fdb_delete()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->cfg.flags 131072-u32max
PARAM_VALUE 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 addr 316652219926626304
PARAM_VALUE 7 swdev_notify 1
BUF_SIZE 1 addr 8
CAPPED_DATA 0 vxlan->net 1
CAPPED_DATA 0 vxlan->net->gen 1
DATA_SOURCE 0 vxlan $0
DATA_SOURCE 4 src_vni $1
DATA_SOURCE 5 vni $1
BIT_INFO 0 vxlan->cfg.flags 0x20000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 6 ifindex unit_array_size
LOCK2 bh
LOCK2 0 &vxlan->hash_lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct vxlan_dev)->hash_lock

drivers/net/vxlan/vxlan_vnifilter.c vxlan_vni_delete_group() -> __vxlan_fdb_delete()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->cfg.flags 131072-u32max
PARAM_VALUE 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vxlan->net 4096-ptr_max
PARAM_VALUE 0 vxlan->net->gen 4096-ptr_max
PARAM_VALUE 0 vxlan->vn4_sock->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 vxlan->vn4_sock->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 vxlan->vn4_sock->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 vxlan->vn4_sock->sk->sk_memcg->id.id 0-s32max
PARAM_VALUE 0 vxlan->vn6_sock->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 vxlan->vn6_sock->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 vxlan->vn6_sock->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 vxlan->vn6_sock->sk->sk_memcg->id.id 0-s32max
PARAM_VALUE 0 vxlan->vnigrp 4096-ptr_max
PARAM_VALUE 0 vxlan->vnigrp->vni_hash.p.hashfn 4096-ptr_max
PARAM_VALUE 1 addr 316652219926626304
PARAM_VALUE 7 swdev_notify 1
BUF_SIZE 1 addr 8
CAPPED_DATA 0 vxlan 1
CAPPED_DATA 0 vxlan->net->gen 1
DATA_SOURCE 0 vxlan $0
BIT_INFO 0 vxlan->cfg.flags 0x20000,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 6 ifindex unit_array_size
LOCK2 &vxlan->hash_lock
LOCK2 bh
LOCK2 0 &vxlan->hash_lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct vxlan_dev)->hash_lock

drivers/net/vxlan/vxlan_core.c vxlan_changelink() -> __vxlan_fdb_delete()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->dev->flags 1-u32max
PARAM_VALUE 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 addr 316652219926626304
PARAM_VALUE 7 swdev_notify 1
BUF_SIZE 1 addr 8
CAPPED_DATA 0 vxlan->net 1
CAPPED_DATA 0 vxlan->net->gen 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 6 ifindex unit_array_size
LOCK2 bh
LOCK2 global &rtnl_mutex
LOCK2 0 &vxlan->hash_lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct vxlan_dev)->hash_lock

drivers/net/vxlan/vxlan_core.c vxlan_fdb_delete() -> __vxlan_fdb_delete()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->dev 4096-ptr_max
PARAM_VALUE 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 7 swdev_notify 1
CAPPED_DATA 0 vxlan->dev->nd_net.net 1
DATA_SOURCE 1 addr $3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *addr 0-255
USER_PTR 1 addr
LOCK2 bh
LOCK2 0 &vxlan->hash_lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct vxlan_dev)->hash_lock

drivers/net/vxlan/vxlan_core.c vxlan_fdb_external_learn_del() -> __vxlan_fdb_delete()

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 7 swdev_notify 0
BUF_SIZE 1 addr 6
PREEMPT_ADD <- disables preempt
UNITS 6 ifindex unit_array_size
LOCK2 bh
LOCK2 0 &vxlan->hash_lock
TYPE_LOCK (struct vxlan_dev)->hash_lock