Index: 20071119-ia64/xen/arch/ia64/xen/mm.c
===================================================================
--- 20071119-ia64.orig/xen/arch/ia64/xen/mm.c	2007-11-25 21:18:38.000000000 -0700
+++ 20071119-ia64/xen/arch/ia64/xen/mm.c	2007-11-25 21:18:47.000000000 -0700
@@ -520,6 +520,8 @@
 		((ia64_itir_t*)itir)->itir = _itir.itir;
 		/* Overwrite ps part! */
 		((ia64_itir_t*)itir)->ps = IA64_GRANULE_SHIFT;
+		/* Purge Key -> Why ? */
+		((ia64_itir_t*)itir)->key = 0;
 		return pteval;
 	}