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