Index: kernel/arch/ia64/src/mm/as.c
===================================================================
--- kernel/arch/ia64/src/mm/as.c	(revision 93d66ef89933bb5a9e0140b61d986e78b5d2dfae)
+++ kernel/arch/ia64/src/mm/as.c	(revision 262cd018becae1b2cd54771710a29fd211189786)
@@ -73,7 +73,7 @@
 		rr.map.ps = PAGE_WIDTH;
 		rr_write(i, rr.word);
+		srlz_d();
+		srlz_i();
 	}
-	srlz_d();
-	srlz_i();
 }