+#define VIRT_PCI_IO_OFFSET 0x4000
+static MemMapEntry virt_memmap[] = {
+ [VIRT_LOWDDR] = { 0x0, 0x10000000 },
+ [VIRT_PCH] = { 0x10000000, 0x1000 },
+ [VIRT_PM] = { 0x10080000, 0x100 },
+ [VIRT_RTC] = { 0x100D0100, 0x100 },
+ [VIRT_ACPI_GED] = { 0x100E0000, 0x100 },
+ [VIRT_ISA_IO] = { 0x18000000, 0x4000 },
+ [VIRT_PCI_IO] = { 0x18004000, 0xC000 },
+ [VIRT_BIOS] = { 0x1C000000, 0x400000 },
+ [VIRT_FDT] = { 0x1C400000, 0x100000 },
+ [VIRT_FW_CFG] = { 0x1E020000, 0x18 },
+ [VIRT_UART] = { 0x1FE001E0, 0x100 },
+ [VIRT_PCI_CFG] = { 0x20000000, 0x8000000 },
+ [VIRT_MSI] = { 0x2FF00000, 0x1000 },
+ [VIRT_PCI_MEM] = { 0x40000000, 0x40000000 },
+ [VIRT_HIGHDDR] = { 0x90000000, 0x0 },
+ [VIRT_PLATFORM_BUS] = { 0x16000000, 0x2000000 },
+};
+