Index: xen-4.0.1-testing/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
===================================================================
--- xen-4.0.1-testing.orig/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
+++ xen-4.0.1-testing/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
@@ -401,6 +401,11 @@ static int __devinit platform_pci_init(s
 	platform_mmio = mmio_addr;
 	platform_mmiolen = mmio_len;
 
+	/*
+	 * Disconnect the emulated devices.
+	 */
+	outl(1, (ioaddr + 4));
+
 	ret = init_hypercall_stubs();
 	if (ret < 0)
 		goto out;