pci: set BUILD_PCIMEM_START to 0xe0000000

... and make it match with the declarations in acpi-dsdt.dsl.

Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>

diff --git a/src/config.h b/src/config.h
index 687cac6e7d0411b4e14177aa39647348df16fd84..f2fce89ef1ce1bd2a67bd9f7fbebe9202499b87d 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -40,7 +40,7 @@
 #define BUILD_BIOS_TMP_ADDR       0x30000
 #define BUILD_MAX_HIGHMEM         0xe0000000
 
-#define BUILD_PCIMEM_START        0xf0000000
+#define BUILD_PCIMEM_START        0xe0000000
 #define BUILD_PCIMEM_SIZE         (BUILD_PCIMEM_END - BUILD_PCIMEM_START)
 #define BUILD_PCIMEM_END          0xfec00000    /* IOAPIC is mapped at */