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