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 8be283385dbc055a1ed930ee92302dd89c4159ea)
@@ -73,7 +73,7 @@
 		rr.map.ps = PAGE_WIDTH;
 		rr_write(i, rr.word);
+		srlz_d();
+		srlz_i();
 	}
-	srlz_d();
-	srlz_i();
 }