Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 2 commit 1
BUF_SIZE 0 v (-1),1304
BUF_SIZE 0 v (-1),1304
BUF_SIZE 0 v->stats (-1),32
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 0-u16max[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 __vlan_flags_would_change() -> __vlan_flags_update()

Type Parameter Key Value
PARAM_VALUE 0 v 1-u64max
PARAM_VALUE 2 commit 0
DATA_SOURCE 0 v $0
DATA_SOURCE 1 flags $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 flags 0-u16max
HALF_LOCKED2 global &rtnl_mutex