Changes in kernel/arch/arm32/src/mm/page.c [a35b458:d4a829e] in mainline

File:

• kernel/arch/arm32/src/mm/page.c (modified) (3 diffs)

kernel/arch/arm32/src/mm/page.c

@@ -56 +56 @@
 
         page_table_lock(AS_KERNEL, true);
-
+        
         /* Kernel identity mapping */
         //FIXME: We need to consider the possibility that
@@ -66 +66 @@
             cur += FRAME_SIZE)
                 page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);
-
+        
 #ifdef HIGH_EXCEPTION_VECTORS
         /* Create mapping for exception table at high offset */
@@ -76 +76 @@
 
         page_table_unlock(AS_KERNEL, true);
-
+        
         as_switch(NULL, AS_KERNEL);
-
+        
         boot_page_table_free();
 }