Index: kernel/arch/ia64/include/asm.h
===================================================================
--- kernel/arch/ia64/include/asm.h	(revision 502984be5fd4e8c54017bd72c51b7a3f4d237e50)
+++ kernel/arch/ia64/include/asm.h	(revision c29f20ba90f19e7fd960e63503c18c7fb0f714b0)
@@ -422,4 +422,6 @@
 	asm volatile (
 		"rsm %[mask]\n"
+		";;\n"
+		"srlz.d\n"
 		:: [mask] "i" (PSR_PK_MASK)
 	);