diff --git a/devicemodel/hw/pci/core.c b/devicemodel/hw/pci/core.c
index 848d14e36..d88d60180 100644
--- a/devicemodel/hw/pci/core.c
+++ b/devicemodel/hw/pci/core.c
@@ -96,8 +96,8 @@ SYSRES_MEM(PCI_EMUL_ECFG_BASE, PCI_EMUL_ECFG_SIZE);
 
 #define	PCI_EMUL_MEMLIMIT32	PCI_EMUL_ECFG_BASE
 
-#define	PCI_EMUL_MEMBASE64	0xD000000000UL
-#define	PCI_EMUL_MEMLIMIT64	0xFD00000000UL
+#define	PCI_EMUL_MEMBASE64	0x7000000000UL
+#define	PCI_EMUL_MEMLIMIT64	0x8D00000000UL
 
 static struct pci_vdev_ops *pci_emul_finddev(char *name);
 static void pci_lintr_route(struct pci_vdev *dev);