Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->cfg.flags 131072-u32max
PARAM_VALUE 0 vxlan->dev->flags 1-u32max
PARAM_VALUE 0 vxlan->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 old_remote_ip 4096-ptr_max
PARAM_VALUE 2 new_remote_ip 4101456282291687424
PARAM_VALUE 2 new_remote_ip->sa.sa_family 1-u16max
PARAM_VALUE 3 extack 4971238048455385088
CAPPED_DATA 0 vxlan->net 1
CAPPED_DATA 0 vxlan->net->gen 1
DATA_SOURCE 3 extack $3
BIT_INFO 0 vxlan->cfg.flags 0x20000,0xffffffff
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