Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 0 v $2
DATA_SOURCE 1 flags $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 v->flags 0-u16max[c]
USER_DATA 1 flags 0-u16max
HALF_LOCKED2 global &rtnl_mutex

net/bridge/br_vlan.c nbp_vlan_add() -> __vlan_flags_commit()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 0 v r br_vlan_find
DATA_SOURCE 1 flags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 v->flags 0-u16max[c]
USER_DATA 1 flags 0-u16max
HALF_LOCKED2 global &rtnl_mutex