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 |