Defined in 2 files as a function:
- drivers/net/ethernet/intel/e1000/e1000_main.c, line 298 (as a function)
- drivers/net/ethernet/intel/e1000e/netdev.c, line 2830 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/net/ethernet/intel/e1000e/netdev.c e1000_watchdog_task() -> e1000_update_mng_vlan()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.mac.arc_subsystem_valid | 1 |
| PARAM_VALUE | 0 | adapter->hw.mac.ops.check_mng_mode | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.mac.tx_pkt_filtering | 1 |
| PARAM_VALUE | 0 | adapter->hw.mng_cookie.checksum | 0 |
| PARAM_VALUE | 0 | adapter->hw.phy.media_type | 0-3 |
| PARAM_VALUE | 0 | adapter->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | *adapter->hw->adapter->netdev->name | 0-255 |
| PARAM_VALUE | 0 | *adapter->netdev->name | 0 |
| PARAM_COMPARE | 0 | adapter->hw.mng_cookie.vlan_id | != $0->mng_vlan_id |
| NOCHECK_CALL |
drivers/net/ethernet/intel/e1000e/netdev.c e1000e_open() -> e1000_update_mng_vlan()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.mac.ops.setup_link | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.mng_cookie.status | 2-255 |
| PARAM_VALUE | 0 | adapter->hw.phy.addr | 1-2 |
| PARAM_VALUE | 0 | adapter->mng_vlan_id | u16max |
| PARAM_VALUE | 0 | adapter->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | adapter->pdev->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->pdev->dev.type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->rx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | adapter->rx_ring->buffer_info | 1-u64max |
| PARAM_VALUE | 0 | adapter->rx_ring->count | 0-s32max |
| PARAM_VALUE | 0 | adapter->rx_ring->desc | 1-ptr_max |
| PARAM_VALUE | 0 | adapter->rx_ring->next_to_clean | 0 |
| PARAM_VALUE | 0 | adapter->rx_ring->next_to_use | 0 |
| PARAM_VALUE | 0 | adapter->rx_ring->rx_skb_top | 0 |
| PARAM_VALUE | 0 | adapter->rx_ring->size | 0,4096-u32max |
| PARAM_VALUE | 0 | adapter->tx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | adapter->tx_ring->buffer_info | 1-u64max |
| PARAM_VALUE | 0 | adapter->tx_ring->desc | 1-ptr_max |
| PARAM_VALUE | 0 | adapter->tx_ring->next_to_clean | 0 |
| PARAM_VALUE | 0 | adapter->tx_ring->next_to_use | 0 |
| PARAM_VALUE | 0 | adapter->tx_ring->size | 0,4096-u32max |
| CAPPED_DATA | 0 | adapter->rx_ring->buffer_info | 1 |
| CAPPED_DATA | 0 | adapter->rx_ring->count | 1 |
| CAPPED_DATA | 0 | adapter->tx_ring->buffer_info | 1 |
| BIT_INFO | 0 | adapter->hw.mng_cookie.status | 0x2,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->hw.dev_spec.vf.v2p_mailbox | 0-4294967295[c] |
| HOST_DATA | 0 | adapter->hw.phy.cable_length | 0-254,256-u16max[c] |
| HOST_DATA | 0 | adapter->hw.phy.id | 0-u32max |
| HOST_DATA | 0 | adapter->hw.phy.is_mdix | 0-1 |
| HOST_DATA | 0 | adapter->hw.phy.polarity_correction | 0-1 |
| HOST_DATA | 0 | adapter->hw.phy.revision | 0-15 |
| HOST_DATA | 0 | adapter->hw.phy.speed_downgraded | 0-1 |
| HOST_DATA | 0 | adapter->tc.cycle_last | 0-u64max |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/intel/e1000e/netdev.c e1000e_reset() -> e1000_update_mng_vlan()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.adapter->netdev->rtnl_link_ops->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max |
| PARAM_VALUE | 0 | adapter->hw.fc.high_water | 0,8-65528 |
| PARAM_VALUE | 0 | adapter->hw.fc.low_water | 0-65520,4294967288 |
| PARAM_VALUE | 0 | adapter->hw.fc.pause_time | 1664,u16max |
| PARAM_VALUE | 0 | adapter->hw.fc.send_xon | 1 |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | adapter->pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->pdev->subordinate->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | adapter->rx_ring->adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->tx_fifo_limit | 928-24576 |
| PARAM_VALUE | 0 | adapter->tx_ring->adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | *adapter->netdev->name | 0-255 |
| CAPPED_DATA | 0 | adapter->tx_fifo_limit | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| FUZZY_MAX | 0 | adapter->hw.fc.high_water | 23584 |
| FUZZY_MAX | 0 | adapter->hw.fc.low_water | 20552 |
| FUZZY_MAX | 0 | adapter->hw.fc.pause_time | u16max |
| HARD_MAX | 0 | adapter->hw.fc.pause_time | u16max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->hw.bus.func | 0-u16max[c] |
| HOST_DATA | 0 | adapter->hw.bus.width | 0-s32max[c] |
| HOST_DATA | 0 | adapter->hw.dev_spec.ich8lan.eee_lp_ability | 0-u16max |
| HOST_DATA | 0 | adapter->hw.fc.high_water | 0,8-65528[c] |
| HOST_DATA | 0 | adapter->hw.fc.low_water | 0-65520,4294967288[c] |
| HOST_DATA | 0 | adapter->hw.mac.collision_delta | 0-u32max |
| HOST_DATA | 0 | adapter->hw.mac.ledctl_default | 0-u32max |
| HOST_DATA | 0 | adapter->hw.mac.ledctl_mode1 | 0-u32max |
| HOST_DATA | 0 | adapter->hw.mac.ledctl_mode2 | 0-u32max |
| HOST_DATA | 0 | adapter->hw.mac.tx_packet_delta | 0-u32max |
| HOST_DATA | 0 | adapter->hw.nvm.flash_bank_size | 0,1024-8388608,1065355264-1073740800[c] |
| HOST_DATA | 0 | adapter->hw.nvm.flash_base_addr | 0,4096-33550336[c] |
| HOST_DATA | 0 | adapter->hw.phy.addr | 0-31[c] |
| HOST_DATA | 0 | adapter->hw.phy.cable_length | 0-254,256-u16max[c] |
| HOST_DATA | 0 | adapter->hw.phy.id | 0-u32max |
| HOST_DATA | 0 | adapter->hw.phy.is_mdix | 0-1 |
| HOST_DATA | 0 | adapter->hw.phy.polarity_correction | 0-1 |
| HOST_DATA | 0 | adapter->hw.phy.revision | 0-15 |
| HOST_DATA | 0 | adapter->hw.phy.speed_downgraded | 0-1 |
| HOST_DATA | 0 | adapter->pdev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->class | 0-16777215 |
| HOST_DATA | 0 | adapter->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | adapter->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | adapter->pdev->device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->irq | 0-255 |
| HOST_DATA | 0 | adapter->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | adapter->pdev->multifunction | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->pin | 0 |
| HOST_DATA | 0 | adapter->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | adapter->pdev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->revision | 0-255 |
| HOST_DATA | 0 | adapter->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | adapter->pdev->transparent | 0[c] |
| HOST_DATA | 0 | adapter->pdev->vendor | 0-u16max |
| HOST_DATA | 0 | adapter->tc.cycle_last | 0-u64max |
| HOST_DATA | 0 | adapter->tc.nsec | 0-u64max |
| HOST_DATA | 0 | adapter->tx_fifo_head | 0 |
| HOST_DATA | 0 | adapter->tx_fifo_limit | 928-24575[c] |
drivers/net/ethernet/intel/e1000/e1000_main.c e1000_open() -> e1000_update_mng_vlan()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.mng_cookie.status | 2-255 |
| PARAM_VALUE | 0 | adapter->mng_vlan_id | u16max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | adapter->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | *adapter->netdev->name | 0-255 |
| CAPPED_DATA | 0 | adapter->num_rx_queues | 1 |
| CAPPED_DATA | 0 | adapter->num_tx_queues | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/intel/e1000/e1000_main.c e1000_reset() -> e1000_update_mng_vlan()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->hw.fc_high_water | 0,8-65528 |
| PARAM_VALUE | 0 | adapter->hw.fc_low_water | 0-65520,65528 |
| PARAM_VALUE | 0 | adapter->hw.fc_pause_time | u16max |
| PARAM_VALUE | 0 | adapter->hw.fc_send_xon | 1 |
| PARAM_VALUE | 0 | adapter->hw.mac_type | 1-14 |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.pins->p | 0,4096-s64max |
| BUF_SIZE | 0 | adapter->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | adapter | $0 |
| FUZZY_MAX | 0 | adapter->hw.mac_type | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->hw.eeprom.word_size | 64[c] |
| HOST_DATA | 0 | adapter->hw.ledctl_default | 0-u32max |
| HOST_DATA | 0 | adapter->hw.ledctl_mode1 | 0-u32max |
| HOST_DATA | 0 | adapter->hw.ledctl_mode2 | 0-u32max |
| HOST_DATA | 0 | adapter->hw.phy_addr | 0-u32max |
| HOST_DATA | 0 | adapter->hw.phy_id | 0-u32max |
| HOST_DATA | 0 | adapter->hw.phy_revision | 0-15 |
| HOST_DATA | 0 | adapter->pdev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->class | 0-16777215 |
| HOST_DATA | 0 | adapter->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | adapter->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | adapter->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | adapter->pdev->device | 0-4103,4106-4107,4121-4124,4127-4213,4217-4219,4221-u16max |
| HOST_DATA | 0 | adapter->pdev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->irq | 0-255 |
| HOST_DATA | 0 | adapter->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | adapter->pdev->multifunction | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->pin | 0 |
| HOST_DATA | 0 | adapter->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | adapter->pdev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->revision | 0-255 |
| HOST_DATA | 0 | adapter->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | adapter->pdev->transparent | 0[c] |
| HOST_DATA | 0 | adapter->pdev->vendor | 0-u16max |
| HOST_DATA | 0 | adapter->phy_info.cable_length | 255[c] |
| HOST_DATA | 0 | adapter->phy_info.mdix_mode | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | adapter->num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | adapter->num_tx_queues |
drivers/net/ethernet/intel/e1000/e1000_main.c e1000_vlan_filter_on_off() -> e1000_update_mng_vlan()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->netdev->flags | 256-u32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.pins->p | 0,4096-s64max |
| DATA_SOURCE | 0 | adapter | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->hw.eeprom.word_size | 64[c] |
| HOST_DATA | 0 | adapter->hw.ledctl_default | 0-u32max |
| HOST_DATA | 0 | adapter->hw.ledctl_mode1 | 0-u32max |
| HOST_DATA | 0 | adapter->hw.ledctl_mode2 | 0-u32max |
| HOST_DATA | 0 | adapter->hw.phy_addr | 0-u32max |
| HOST_DATA | 0 | adapter->hw.phy_id | 0-u32max |
| HOST_DATA | 0 | adapter->hw.phy_revision | 0-15 |
| NO_OVERFLOW_SIMPLE | 0 | adapter->num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | adapter->num_tx_queues |