Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 1 ip 4096-ptr_max
PARAM_VALUE 5 oldrd 519940103189372928
BUF_SIZE 1 ip (-1)-0,28
BUF_SIZE 1 ip (-1)-0,28
CAPPED_DATA 0 f->flags 1
DATA_SOURCE 0 f $8
DATA_SOURCE 1 ip $1
DATA_SOURCE 2 port $4
DATA_SOURCE 3 vni $5
DATA_SOURCE 4 ifindex $6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 f->flags 0,256-510[c]
USER_DATA 0 f->state 2-u16max[c]
UNITS 4 ifindex unit_array_size
LOCK2 &vxlan->hash_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct vxlan_dev)->hash_lock