Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bridge/br_vlan.c br_vlan_init_state() -> br_mst_vlan_init_state()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->port 4096-ptr_max
BUF_SIZE 0 v 1304
BUF_SIZE 0 v->stats (-1),32
DATA_SOURCE 0 v $0
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
NO_OVERFLOW_SIMPLE 0 v->br->vlan_proto
NO_OVERFLOW_SIMPLE 0 v->br_mcast_ctx.br->vlan_proto
HALF_LOCKED2 global &rtnl_mutex