Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

net/bridge/br_vlan_options.c br_vlan_process_options() -> br_vlan_can_enter_range()

Type Parameter Key Value
PARAM_VALUE 0 v_curr 4096-ptr_max
PARAM_VALUE 1 range_end 4096-ptr_max
PARAM_VALUE 1 range_end->br_mcast_ctx.ip4_mc_router_timer.flags 0-4194302
PARAM_VALUE 1 range_end->br_mcast_ctx.ip6_mc_router_timer.flags 0-4194302
PARAM_VALUE 1 range_end->br_mcast_ctx.multicast_router 0-2
PARAM_VALUE 1 range_end->port_mcast_ctx.ip4_mc_router_timer.flags 0-4194302
PARAM_VALUE 1 range_end->port_mcast_ctx.ip6_mc_router_timer.flags 0-4194302
PARAM_VALUE 1 range_end->port_mcast_ctx.multicast_router 0-3
DATA_SOURCE 0 v_curr r br_vlan_find
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 v_curr->br_mcast_ctx.multicast_router
NO_OVERFLOW_SIMPLE 1 range_end->br_mcast_ctx.multicast_router
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
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 &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/bridge/br_netlink_tunnel.c __vlan_tunnel_handle_range() -> br_vlan_can_enter_range()

Type Parameter Key Value
PARAM_VALUE 0 v_curr 1-u64max
DATA_SOURCE 0 v_curr r br_vlan_find
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
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 &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/bridge/br_vlan.c br_vlan_dump_dev() -> br_vlan_can_enter_range()

Type Parameter Key Value
PARAM_VALUE 0 v_curr 4096-ptr_max
PARAM_VALUE 0 v_curr->port_mcast_ctx.vlan->priv_flags 4-u16max
PARAM_VALUE 1 range_end 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read