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