Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/8021q/vlan_core.c vlan_do_receive() -> vlan_find_dev()

Type Parameter Key Value
PARAM_VALUE 2 vlan_id 0-4095
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 real_dev unit_byte
UNITS 1 vlan_proto unit_byte
LOCK2 rcu_read
HALF_LOCKED2 bh

net/8021q/vlan.c vlan_check_real_dev() -> vlan_find_dev()

Type Parameter Key Value
PARAM_VALUE 0 real_dev 4096-ptr_max
PARAM_VALUE 0 real_dev->type 1
DATA_SOURCE 0 real_dev $0
DATA_SOURCE 1 vlan_proto $1
DATA_SOURCE 2 vlan_id $2
BIT_INFO 0 real_dev->features 0x0,0xfffffffffffffbff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 vlan_id 0-4094
UNITS 1 vlan_proto unit_byte
LOCK2 global &rtnl_mutex
HALF_LOCKED2 global &vlan_ioctl_mutex