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