@@ -444,15 +444,8 @@ typedef uint64_t xen_callback_t;
#define GUEST_VPCI_MEM_CPU_ADDR xen_mk_ullong(0x04020000)
#define GUEST_VPCI_IO_CPU_ADDR xen_mk_ullong(0xC0200800)
-/*
- * This is hardcoded values for the real PCI physical addresses.
- * This will be removed once we read the real PCI-PCIe physical
- * addresses form the config space and map to the guest memory map
- * when assigning the device to guest via VPCI.
- *
- */
#define GUEST_VPCI_PREFETCH_MEM_PCI_ADDR xen_mk_ullong(0x4000000000)
-#define GUEST_VPCI_MEM_PCI_ADDR xen_mk_ullong(0x50000000)
+#define GUEST_VPCI_MEM_PCI_ADDR xen_mk_ullong(0x04020000)
#define GUEST_VPCI_IO_PCI_ADDR xen_mk_ullong(0x00000000)
#define GUEST_VPCI_PREFETCH_MEM_SIZE xen_mk_ullong(0x100000000)