Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vxlan/vxlan_core.c vxlan_fdb_flush_match_remotes() -> vxlan_fdb_flush_remote_matches()

Type Parameter Key Value
PARAM_VALUE 0 desc 21738053724512256,548690096637829120,3809597157250846720
PARAM_VALUE 0 desc->dst_ip.sa.sa_family 0
PARAM_VALUE 0 desc->dst_ip.sin.sin_addr.s_addr 0
PARAM_VALUE 1 rd 4096-ptr_max
CAPPED_DATA 0 desc->flags 1
CAPPED_DATA 0 desc->nhid 1
CAPPED_DATA 0 desc->src_vni 1
CAPPED_DATA 0 desc->state 1
CAPPED_DATA 1 &rd->list 1
DATA_SOURCE 0 desc $2
NOSPEC 0 desc->flags
NOSPEC 0 desc->state
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 desc->flags 0-249[c]
USER_DATA 0 desc->state 0-254[c]
LOCK2 &vxlan->hash_lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct vxlan_dev)->hash_lock