839     uint16_t vendor_id, device_id;  in pci_bios_init_bridges()  local
842     device_id = pci_config_readw(d, PCI_DEVICE_ID);  in pci_bios_init_bridges()
845        (device_id == PCI_DEVICE_ID_INTEL_82371SB_0 ||  in pci_bios_init_bridges()
846         device_id == PCI_DEVICE_ID_INTEL_82371AB_0)) {  in pci_bios_init_bridges()
865     } else if (vendor_id == PCI_VENDOR_ID_INTEL && device_id == PCI_DEVICE_ID_INTEL_82441) {  in pci_bios_init_bridges()
935     int i, pin, pic_irq, vendor_id, device_id;  in pci_bios_init_device()  local
939     device_id = pci_config_readw(d, PCI_DEVICE_ID);  in pci_bios_init_device()
941             d->bus, d->devfn, vendor_id, device_id, class);  in pci_bios_init_device()
945            (device_id == PCI_DEVICE_ID_INTEL_82371SB_1 ||  in pci_bios_init_device()
946             device_id == PCI_DEVICE_ID_INTEL_82371AB)) {  in pci_bios_init_device()
968             if (device_id == 0x0046 || device_id == 0xFFFF) {  in pci_bios_init_device()
976             (device_id == 0x0017 || device_id == 0x0022)) {  in pci_bios_init_device()
1020     if (vendor_id == PCI_VENDOR_ID_INTEL && device_id == PCI_DEVICE_ID_INTEL_82371AB_3) {  in pci_bios_init_device()
1036     uint16_t vendor_id, device_id;  in pci_for_each_device()  local
1043             device_id = pci_config_readw(d, PCI_DEVICE_ID);  in pci_for_each_device()
1044             if (vendor_id != 0xffff || device_id != 0xffff) {  in pci_for_each_device()
2664     uint16_t vendor_id, device_id;  in find_440fx()  local
2667     device_id = pci_config_readw(d, PCI_DEVICE_ID);  in find_440fx()
2669     if (vendor_id == PCI_VENDOR_ID_INTEL && device_id == PCI_DEVICE_ID_INTEL_82441)  in find_440fx()
2675     uint16_t vendor_id, device_id;  in reinit_piix4_pm()  local
2678     device_id = pci_config_readw(d, PCI_DEVICE_ID);  in reinit_piix4_pm()
2680     if (vendor_id == PCI_VENDOR_ID_INTEL && device_id == PCI_DEVICE_ID_INTEL_82371AB_3)  in reinit_piix4_pm()