Searched refs:PCI_DEVICE_ID_INTEL_82371SB_0 (Results 1 – 3 of 3) sorted by relevance
91 #define PCI_DEVICE_ID_INTEL_82371SB_0 0x7000 macro
342 …pci_config_set_device_id(pci_conf, PCI_DEVICE_ID_INTEL_82371SB_0); // 82371SB PIIX3 PCI-to-ISA bri… in piix3_init()
697 #define PCI_DEVICE_ID_INTEL_82371SB_0 0x7000 macro845 (device_id == PCI_DEVICE_ID_INTEL_82371SB_0 || in pci_bios_init_bridges()