Index: tip/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
===================================================================
--- tip.orig/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
+++ tip/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
@@ -332,7 +332,7 @@ static int check_platform_magic(struct d
 		}
 		/* Fall through */
 	case 0:
-		outw(0xf, XEN_IOPORT_UNPLUG);
+		outw(unplug, XEN_IOPORT_UNPLUG);
 		break;
 	default:
 		err = "unknown I/O protocol version";