--- trunk/src/devices/dev_mpc10x.c	2007/10/12 22:06:53	61
+++ trunk/src/devices/dev_mpc10x.c	2007/10/13 12:51:47	62
@@ -153,10 +153,10 @@
 
 	pci_io_offset  = 0x00000000ULL;
 	pci_mem_offset = 0x00000000ULL;
-	pci_portbase   = 0xd0000000ULL;
-	pci_membase    = 0xd1000000ULL;
-	isa_portbase   = 0xd2000000ULL;
-	isa_membase    = 0xd3000000ULL;
+	pci_portbase   = 0xfebffe00ULL;
+	pci_membase    = 0x80000000ULL;
+	isa_portbase   = 0xfe000000ULL;
+	isa_membase    = 0x80000000ULL;
 
 	/*  Create a PCI bus:  */
 	d->pci_data = bus_pci_init(machine, "ZZZ_irq_stuff",