Changes in kernel/arch/ia64/src/mm/as.c [63e27ef:a35b458] in mainline

File:

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

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

@@ -58 +58 @@
         region_register_t rr;
         int i;
-        
+
         assert(as->asid != ASID_INVALID);
-        
+
         /*
          * Load respective ASID (7 consecutive RIDs) to
@@ -68 +68 @@
                 if (i == VRN_KERNEL)
                         continue;
-                
+
                 rr.word = rr_read(i);
                 rr.map.ve = false;              /* disable VHPT walker */