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_core.c vxlan_changelink() -> netdev_adjacent_change_prepare()

Type Parameter Key Value
PARAM_VALUE 1 new_dev 0,4096-ptr_max
PARAM_VALUE 2 dev 4096-ptr_max
PARAM_VALUE 2 dev->rtnl_link_ops 4096-ptr_max
PARAM_VALUE 2 dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 3 extack 4971238048455385088
CAPPED_DATA 2 dev->nd_net.net 1
CAPPED_DATA 2 dev->rtnl_link_ops 1
DATA_SOURCE 2 dev $0
DATA_SOURCE 3 extack $3
PARAM_COMPARE 0 old_dev >= $1
PARAM_COMPARE 0 old_dev >= $1
PARAM_COMPARE 1 new_dev <= $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 old_dev unit_byte
UNITS 1 new_dev unit_byte
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