Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 conf 4101456282291687424
PARAM_VALUE 1 conf->age_interval 0-u32max
PARAM_VALUE 1 conf->df 0-255
PARAM_VALUE 1 conf->label 0-1048575
PARAM_VALUE 1 conf->no_share 0
PARAM_VALUE 1 conf->remote_ip.sa.sa_family 0,2,10
PARAM_VALUE 1 conf->saddr.sa.sa_family 0,2,10
PARAM_VALUE 2 lower 1096188665343332352
PARAM_VALUE 3 old 4096-ptr_max
PARAM_VALUE 4 extack 4971238048455385088
CAPPED_DATA 0 src_net 1
CAPPED_DATA 3 old->net 1
DATA_SOURCE 4 extack $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 conf->port_max 0-u16max
USER_DATA 1 conf->port_min 0-u16max
UNITS 0 src_net 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

drivers/net/vxlan/vxlan_core.c vxlan_dev_configure() -> vxlan_config_validate()

Type Parameter Key Value
PARAM_VALUE 0 src_net 4096-ptr_max
PARAM_VALUE 0 src_net->gen 4096-ptr_max
PARAM_VALUE 1 conf 1599840846533324800
PARAM_VALUE 2 lower 2620813850968276992
PARAM_VALUE 4 extack 4971238048455385088
CAPPED_DATA 0 src_net->gen 1
DATA_SOURCE 0 src_net $0
DATA_SOURCE 1 conf $2
DATA_SOURCE 4 extack $3
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