Changes in kernel/arch/ia64/src/mm/as.c [666773c:502984be] 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 rr;
+        region_register_t rr;
         int i;
         
@@ -73 +73 @@
                 rr.map.ps = PAGE_WIDTH;
                 rr_write(i, rr.word);
+                srlz_d();
+                srlz_i();
         }
-        srlz_d();
-        srlz_i();
 }