Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

net/bridge/br_vlan.c __vlan_add() -> br_multicast_toggle_one_vlan()

Type Parameter Key Value
PARAM_VALUE 0 vlan 4096-ptr_max
PARAM_VALUE 0 vlan->br 4096-ptr_max
PARAM_VALUE 0 vlan->br_mcast_ctx.br 4096-ptr_max
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_mc_router_timer.entry.pprev 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_mc_router_timer.flags 0-4194302
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_mc_router_timer.lockdep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_other_query.delay_timer.entry.pprev 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_other_query.delay_timer.flags 0-4194302
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_other_query.delay_timer.lockdep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_other_query.timer.entry.pprev 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_other_query.timer.flags 0-4194302
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_other_query.timer.lockdep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_own_query.timer.entry.pprev 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_own_query.timer.flags 0-4194302
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_own_query.timer.lockdep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_querier.port_ifidx 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_querier.seq.lock 4096-ptr_max
PARAM_VALUE 0 vlan->br_mcast_ctx.ip4_querier.seq.seqcount.dep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_mc_router_timer.entry.pprev 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_mc_router_timer.flags 0-4194302
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_mc_router_timer.lockdep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_other_query.delay_timer.entry.pprev 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_other_query.delay_timer.flags 0-4194302
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_other_query.delay_timer.lockdep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_other_query.timer.entry.pprev 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_other_query.timer.flags 0-4194302
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_other_query.timer.lockdep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_own_query.timer.entry.pprev 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_own_query.timer.flags 0-4194302
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_own_query.timer.lockdep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_querier.port_ifidx 0
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_querier.seq.lock 4096-ptr_max
PARAM_VALUE 0 vlan->br_mcast_ctx.ip6_querier.seq.seqcount.dep_map->name 0-255
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_igmp_version 2
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_last_member_count 2
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_last_member_interval 250
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_membership_interval 65000
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_mld_version 1
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_querier_interval 63750
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_query_interval 31250
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_query_response_interval 2500
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_router 1
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_startup_query_count 2
PARAM_VALUE 0 vlan->br_mcast_ctx.multicast_startup_query_interval 7812
PARAM_VALUE 0 vlan->br_mcast_ctx.query_queue.next 4096-ptr_max
PARAM_VALUE 0 vlan->br_mcast_ctx.query_queue.prev 4096-ptr_max
PARAM_VALUE 0 vlan->br_mcast_ctx.query_queue.qlen 0
PARAM_VALUE 0 vlan->br_mcast_ctx.vlan 4096-ptr_max
PARAM_VALUE 0 vlan->br_mcast_ctx.vlan->br 4096-ptr_max
PARAM_VALUE 0 vlan->br_mcast_ctx.vlan->port 4096-ptr_max
PARAM_VALUE 0 vlan->msti 0
PARAM_VALUE 0 vlan->port 4096-ptr_max
PARAM_VALUE 0 vlan->vlist.next 4096-ptr_max
PARAM_VALUE 0 vlan->vlist.prev 4096-ptr_max
PARAM_VALUE 1 on 1
BUF_SIZE 0 vlan 1304
BUF_SIZE 0 vlan->stats 32,u64max
DATA_SOURCE 0 vlan $0
NOSPEC 0 vlan->br_mcast_ctx.vlan->vid
NOSPEC 0 vlan->port_mcast_ctx.vlan->vid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vlan->br_mcast_ctx.vlan->flags 1-65533[c]
USER_DATA 0 vlan->br_mcast_ctx.vlan->vid 1-4094
USER_DATA 0 vlan->flags 0-u16max[c]
USER_DATA 0 vlan->port_mcast_ctx.port->designated_port 0-65534[c]
USER_DATA 0 vlan->port_mcast_ctx.vlan->flags 1-65533[c]
USER_DATA 0 vlan->port_mcast_ctx.vlan->vid 1-4094
NO_OVERFLOW_SIMPLE 0 vlan->br->vlan_proto
NO_OVERFLOW_SIMPLE 0 vlan->br_mcast_ctx.br->vlan_proto
HALF_LOCKED2 global &rtnl_mutex

net/bridge/br_vlan.c __vlan_del() -> br_multicast_toggle_one_vlan()

Type Parameter Key Value
PARAM_VALUE 0 vlan 4096-ptr_max
PARAM_VALUE 0 vlan->port 4096-ptr_max
PARAM_VALUE 0 vlan->port->br 4096-ptr_max
PARAM_VALUE 0 vlan->port->vlgrp->vlan_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 vlan->priv_flags 2-u16max
PARAM_VALUE 0 vlan->tinfo.tunnel_dst 0
PARAM_VALUE 0 vlan->vlist.next->prev 4096-ptr_max
PARAM_VALUE 1 on 0
CAPPED_DATA 0 vlan->port->vlgrp 1
CAPPED_DATA 0 &vlan->vnode 1
DATA_SOURCE 0 vlan $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/bridge/br_vlan.c br_vlan_add_existing() -> br_multicast_toggle_one_vlan()

Type Parameter Key Value
PARAM_VALUE 0 vlan 4096-ptr_max
PARAM_VALUE 1 on 1
DATA_SOURCE 0 vlan $2
BIT_INFO 0 vlan->flags 0x20,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/bridge/br_vlan.c br_vlan_put_master() -> br_multicast_toggle_one_vlan()

Type Parameter Key Value
PARAM_VALUE 0 vlan 4096-ptr_max
PARAM_VALUE 0 vlan->br 4096-ptr_max
PARAM_VALUE 0 vlan->br->vlgrp->vlan_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 vlan->vlist.next->prev 4096-ptr_max
PARAM_VALUE 1 on 0
CAPPED_DATA 0 vlan->br->vlgrp 1
CAPPED_DATA 0 &vlan->vnode 1
DATA_SOURCE 0 vlan $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/bridge/br_multicast.c br_multicast_toggle_vlan() -> br_multicast_toggle_one_vlan()

Type Parameter Key Value
PARAM_VALUE 0 vlan 1-u64max
DATA_SOURCE 0 vlan r br_vlan_find
DATA_SOURCE 1 on $1
NOSPEC 1 on
NOSPEC 1 on
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 on 0-1[c]
HALF_LOCKED2 global &rtnl_mutex

net/bridge/br_multicast.c br_multicast_toggle_vlan() -> br_multicast_toggle_one_vlan()

Type Parameter Key Value
PARAM_VALUE 0 vlan 4096-ptr_max
CAPPED_DATA 0 &vlan->br->port_list 1
DATA_SOURCE 0 vlan $0
DATA_SOURCE 1 on $1
NOSPEC 1 on
NOSPEC 1 on
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 on 0-1[c]
HALF_LOCKED2 global &rtnl_mutex