Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/vxlan/vxlan_vnifilter.c vxlan_vni_update_group() -> vxlan_addr_equal()

Type Parameter Key Value
PARAM_VALUE 0 a 8839820094722674688
BUF_SIZE 0 a 28
BUF_SIZE 1 b 0
BIT_INFO 1 b 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
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

drivers/net/vxlan/vxlan_vnifilter.c vxlan_vnifilter_dump_dev() -> vxlan_addr_equal()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 76,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

drivers/net/vxlan/vxlan_multicast.c vxlan_group_used_match() -> vxlan_addr_equal()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 4096-ptr_max
BUF_SIZE 1 b (-1),28
BUF_SIZE 1 b (-1),28
DATA_SOURCE 0 a $2
DATA_SOURCE 1 b $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/vxlan/vxlan_multicast.c vxlan_multicast_join_vnigrp() -> vxlan_addr_equal()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/vxlan/vxlan_multicast.c vxlan_multicast_join_vnigrp() -> vxlan_addr_equal()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/vxlan/vxlan_mdb.c vxlan_mdb_remote_lookup() -> vxlan_addr_equal()

Type Parameter Key Value
PARAM_VALUE 0 a 2998832437026377816,3327815266820608088,7486898716646051928,8232936559673811032
DATA_SOURCE 0 a $1
MEM_ZERO 0 a
RX_PATH
TASK_NOT_RUNNING

drivers/net/vxlan/vxlan_mdb.c vxlan_mdb_remote_src_entry_lookup() -> vxlan_addr_equal()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 4096-ptr_max
DATA_SOURCE 1 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/vxlan/vxlan_mdb.c vxlan_mdb_remotes_flush() -> vxlan_addr_equal()

Type Parameter Key Value
PARAM_VALUE 0 a 3275902130999275520,5299613845292253184
PARAM_VALUE 0 a->sa.sa_family 2,10
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 a 4101456282291687424
PARAM_VALUE 0 a->sa.sa_family 1-u16max
PARAM_VALUE 1 b 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtnl_mutex
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

drivers/net/vxlan/vxlan_core.c vxlan_fdb_find_rdst() -> vxlan_addr_equal()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 4096-ptr_max
BUF_SIZE 1 b (-1)-0,28
BUF_SIZE 1 b (-1)-0,28
DATA_SOURCE 1 b $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vxlan->hash_lock
HALF_LOCKED2 bh
TYPE_LOCK (struct vxlan_dev)->hash_lock

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

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 21738053724512312,548690096637829176,3809597157250846776
PARAM_VALUE 1 b->sin.sin_addr.s_addr 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vxlan->hash_lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct vxlan_dev)->hash_lock

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

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 2188733320260972544,6820781443105198080
PARAM_VALUE 1 b->sa.sa_family 2,10
DATA_SOURCE 1 b $1
BIT_INFO 1 b->sa.sa_family 0x2,0xa
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read