Set the PCI base address to 0xf0000000.

[seabios.git] / src / pciinit.c

diff --git a/src/pciinit.c b/src/pciinit.c
index fffbd1e6dbdbdf26011ec111e3f96f96a8f3e791..6a2f3711495f6105fed3c1ef4ea456d5355714aa 100644 (file)
--- a/src/pciinit.c
+++ b/src/pciinit.c
@@ -19,11 +19,7 @@ static u32 pci_bios_mem_addr;
 static u32 pci_bios_bigmem_addr;
 /* host irqs corresponding to PCI irqs A-D */
 static u8 pci_irqs[4] = {
-#if CONFIG_KVM
     10, 10, 11, 11
-#else
-    11, 9, 11, 9
-#endif
 };
 
 static void pci_set_io_region_addr(u16 bdf, int region_num, u32 addr)
@@ -102,7 +98,7 @@ static void pci_bios_init_device(u16 bdf)
     device_id = pci_config_readw(bdf, PCI_DEVICE_ID);
     dprintf(1, "PCI: bus=%d devfn=0x%02x: vendor_id=0x%04x device_id=0x%04x\n"
             , pci_bdf_to_bus(bdf), pci_bdf_to_devfn(bdf), vendor_id, device_id);
-    switch(class) {
+    switch (class) {
     case PCI_CLASS_STORAGE_IDE:
         if (vendor_id == PCI_VENDOR_ID_INTEL
             && (device_id == PCI_DEVICE_ID_INTEL_82371SB_1
@@ -197,7 +193,7 @@ pci_setup(void)
     dprintf(3, "pci setup\n");
 
     pci_bios_io_addr = 0xc000;
-    pci_bios_mem_addr = 0xc0000000;
+    pci_bios_mem_addr = 0xf0000000;
     pci_bios_bigmem_addr = RamSize;
     if (pci_bios_bigmem_addr < 0x90000000)
         pci_bios_bigmem_addr = 0x90000000;