Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/stmicro/stmmac/stmmac_main.c stmmac_vlan_rx_add_vid() -> (struct stmmac_vlan_ops)->add_hw_vlan_rx_fltr()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->netdev_ops 4096-ptr_max
PARAM_VALUE 1 hw 4096-ptr_max
PARAM_VALUE 1 hw->num_vlan 1-u32max
PARAM_VALUE 1 hw->vlan 4096-ptr_max
PARAM_VALUE 1 hw->vlan->add_hw_vlan_rx_fltr 1-u64max
PARAM_VALUE 2 proto 33024,34984
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 proto $1
DATA_SOURCE 3 vid $2
CONTAINER 1 *(-32-64+0) $(-1)
BIT_INFO 2 proto 0x8000,0x89a8
NOSPEC 0 dev->ifindex
NOSPEC 3 vid
NOSPEC 3 vid
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->flags 1-524801[c]
USER_DATA 0 dev->ifindex 0-s32max[c]
USER_DATA 0 dev->mtu 0-s32max[c]
USER_DATA 2 proto 33024
USER_DATA 3 vid 1-4094
NO_OVERFLOW_SIMPLE 0 dev->group
NO_OVERFLOW_SIMPLE 0 dev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 dev->num_rx_queues
NO_OVERFLOW_SIMPLE 0 dev->num_tx_queues
NO_OVERFLOW_SIMPLE 0 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 dev->tx_queue_len