tx2: change vpci addresses to be within 32-bit
Our vpci implementation does not allow an address to be outside of
32-bit range. the emulated bar address registers in the config region
are 32-bit.
diff --git a/libsel4vmmplatsupport/plat_include/tx2/sel4vmmplatsupport/plat/vpci.h b/libsel4vmmplatsupport/plat_include/tx2/sel4vmmplatsupport/plat/vpci.h
index 735d312..5ee439e 100644
--- a/libsel4vmmplatsupport/plat_include/tx2/sel4vmmplatsupport/plat/vpci.h
+++ b/libsel4vmmplatsupport/plat_include/tx2/sel4vmmplatsupport/plat/vpci.h
@@ -16,15 +16,15 @@
*/
/* PCI host bridge configration space */
-#define PCI_CFG_REGION_ADDR 0x3EE000000
+#define PCI_CFG_REGION_ADDR 0x3E000000
/* PCI host bridge IO space */
-#define PCI_IO_REGION_ADDR 0x3ED000000
+#define PCI_IO_REGION_ADDR 0x3D000000
/* 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 0x3EF000000ull
+#define PCI_MEM_REGION_ADDR 0x3F000000
/* PCI memory space size */
#define PCI_MEM_REGION_SIZE 0x1000000
