diff --git a/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h b/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h
index c9fad3f..441a419 100644
--- a/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h
+++ b/libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h
@@ -16,14 +16,14 @@
  */
 
 /* PCI host bridge configration space */
-#define PCI_CFG_REGION_ADDR 0x3E000000
+#define PCI_CFG_REGION_ADDR 0xDE000000
 /* PCI host bridge IO space */
-#define PCI_IO_REGION_ADDR 0x3D000000
+#define PCI_IO_REGION_ADDR 0xDD000000
 /* Size of PCI configuration space */
 #define PCI_CFG_REGION_SIZE 0x1000000
 /* Size of PCI IO space  */
 #define PCI_IO_REGION_SIZE 0x10000
 /* PCI memory space */
-#define PCI_MEM_REGION_ADDR 0x3F000000
+#define PCI_MEM_REGION_ADDR 0xDF000000
 /* PCI memory space size */
 #define PCI_MEM_REGION_SIZE 0x1000000