Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

net/8021q/vlan_core.c vlan_vid_add() -> __vlan_vid_add()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 3 flags 6493107192893616128
PARAM_VALUE 3 *flags 0
BUF_SIZE 0 dev (-1),200
BUF_SIZE 0 dev (-1),200
DATA_SOURCE 1 br $1
DATA_SOURCE 2 v $2
NOSPEC 0 dev->real_dev->ifindex
NOSPEC 2 v
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->real_dev->flags 0-527362[c]
USER_DATA 0 dev->real_dev->ifindex 0-s32max[c]
USER_DATA 0 dev->real_dev->mtu 0-s32max[c]
USER_DATA 1 br 33024,34984
USER_DATA 2 v 1-4094
NO_OVERFLOW_SIMPLE 0 dev->real_dev->group
NO_OVERFLOW_SIMPLE 0 dev->real_dev->proto_down
NO_OVERFLOW_SIMPLE 0 dev->real_dev->real_num_rx_queues
UNITS 1 br unit_byte
UNITS 2 v unit_array_size
HALF_LOCKED2 global &rtnl_mutex

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

Type Parameter Key Value
PARAM_VALUE 2 v 4096-ptr_max
PARAM_VALUE 2 v->br 4096-ptr_max
PARAM_VALUE 2 v->port 4096-ptr_max
BUF_SIZE 2 v 1304
BUF_SIZE 2 v->stats (-1),32
DATA_SOURCE 2 v $0
DATA_SOURCE 3 flags $1
DATA_SOURCE 4 extack $2
NOSPEC 2 v->vid
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 v->flags 1-65533[c]
USER_DATA 2 v->vid 1-4094
USER_DATA 3 flags 0-u16max
NO_OVERFLOW_SIMPLE 1 br->vlan_proto
NO_OVERFLOW_SIMPLE 2 v->br->vlan_proto
UNITS 0 dev unit_byte
HALF_LOCKED2 global &rtnl_mutex