Set the PCI base address to 0xf0000000.

[seabios.git] / src / pciinit.c

diff --git a/src/pciinit.c b/src/pciinit.c
index 1d0f784fac32b8bf94af7f3b2935756a859ca49b..6a2f3711495f6105fed3c1ef4ea456d5355714aa 100644 (file)
--- a/src/pciinit.c
+++ b/src/pciinit.c
@@ -193,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;