Open Menu /

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_multicast_join()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->cfg.addrmax 0-4294967295
PARAM_VALUE 0 vxlan->cfg.df 0-4294967295
PARAM_VALUE 0 vxlan->cfg.dst_port 0-u16max
PARAM_VALUE 0 vxlan->cfg.flags 0-4294967295
PARAM_VALUE 0 vxlan->cfg.label 0-4294967295
PARAM_VALUE 0 vxlan->cfg.label_policy 0-4294967295
PARAM_VALUE 0 vxlan->cfg.mtu s32min-s32max
PARAM_VALUE 0 vxlan->cfg.no_share 0-1
PARAM_VALUE 0 vxlan->cfg.port_max 0-u16max
PARAM_VALUE 0 vxlan->cfg.port_min 0-u16max
PARAM_VALUE 0 vxlan->cfg.remote_ifindex s32min-s32max
PARAM_VALUE 0 vxlan->cfg.remote_ip.sa.sa_family 1-u16max
PARAM_VALUE 0 vxlan->cfg.remote_ip.sin.sin_addr.s_addr 0-4294967295
PARAM_VALUE 0 vxlan->cfg.remote_ip.sin.sin_family 0-u16max
PARAM_VALUE 0 vxlan->cfg.remote_ip.sin.sin_port 0-u16max
PARAM_VALUE 0 vxlan->cfg.remote_ip.sin6.sin6_family 0-u16max
PARAM_VALUE 0 vxlan->cfg.remote_ip.sin6.sin6_flowinfo 0-4294967295
PARAM_VALUE 0 vxlan->cfg.remote_ip.sin6.sin6_port 0-u16max
PARAM_VALUE 0 vxlan->cfg.remote_ip.sin6.sin6_scope_id 0-4294967295
PARAM_VALUE 0 vxlan->cfg.reserved_bits.vx_flags 0-4294967295
PARAM_VALUE 0 vxlan->cfg.reserved_bits.vx_vni 0-4294967295
PARAM_VALUE 0 vxlan->cfg.saddr.sa.sa_family 1-u16max
PARAM_VALUE 0 vxlan->cfg.saddr.sin.sin_addr.s_addr 0-4294967295
PARAM_VALUE 0 vxlan->cfg.saddr.sin.sin_family 0-u16max
PARAM_VALUE 0 vxlan->cfg.saddr.sin.sin_port 0-u16max
PARAM_VALUE 0 vxlan->cfg.saddr.sin6.sin6_family 0-u16max
PARAM_VALUE 0 vxlan->cfg.saddr.sin6.sin6_flowinfo 0-4294967295
PARAM_VALUE 0 vxlan->cfg.saddr.sin6.sin6_port 0-u16max
PARAM_VALUE 0 vxlan->cfg.saddr.sin6.sin6_scope_id 0-4294967295
PARAM_VALUE 0 vxlan->cfg.tos 0-255
PARAM_VALUE 0 vxlan->cfg.ttl 0-255
PARAM_VALUE 0 vxlan->cfg.vni 0-4294967295
PARAM_VALUE 0 vxlan->default_dst.remote_ifindex 0-4294967295
PARAM_VALUE 0 vxlan->default_dst.remote_ip.sin.sin_addr.s_addr 0-4294967295
PARAM_VALUE 0 vxlan->default_dst.remote_ip.sin.sin_family 0-u16max
PARAM_VALUE 0 vxlan->default_dst.remote_ip.sin.sin_port 0-u16max
PARAM_VALUE 0 vxlan->default_dst.remote_ip.sin6.sin6_family 0-u16max
PARAM_VALUE 0 vxlan->default_dst.remote_ip.sin6.sin6_flowinfo 0-4294967295
PARAM_VALUE 0 vxlan->default_dst.remote_ip.sin6.sin6_port 0-u16max
PARAM_VALUE 0 vxlan->default_dst.remote_ip.sin6.sin6_scope_id 0-4294967295
PARAM_VALUE 0 vxlan->default_dst.remote_vni 0-4294967295
PARAM_VALUE 0 vxlan->dev->flags 1-u32max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vxlan->cfg.port_max 0-u16max
USER_DATA 0 vxlan->cfg.port_min 0-u16max
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_open() -> vxlan_multicast_join()

Type Parameter Key Value
PARAM_VALUE 0 vxlan 4096-ptr_max
PARAM_VALUE 0 vxlan->vn4_sock 0,4096-ptr_max
PARAM_VALUE 0 vxlan->vn6_sock 0,4096-ptr_max
CAPPED_DATA 0 vxlan->cfg.remote_ifindex 1
CAPPED_DATA 0 vxlan->net->gen 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex