Changes in kernel/arch/ia64/src/mm/as.c [502984be:666773c] in mainline

File:

• kernel/arch/ia64/src/mm/as.c (modified) (2 diffs)

kernel/arch/ia64/src/mm/as.c

@@ -55 +55 @@
 void as_install_arch(as_t *as)
 {
-        region_register_t rr;
+        region_register rr;
         int i;
         
@@ -73 +73 @@
                 rr.map.ps = PAGE_WIDTH;
                 rr_write(i, rr.word);
-                srlz_d();
-                srlz_i();
         }
+        srlz_d();
+        srlz_i();
 }