Changeset e2a0d76 in mainline for kernel/genarch/src/mm/page_pt.c

Timestamp:

2013-09-09T23:29:57Z (11 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

ba2be23

Parents:

8cbf1c3

Message:

cstyle

File:

• kernel/genarch/src/mm/page_pt.c (modified) (2 diffs)

kernel/genarch/src/mm/page_pt.c

@@ -363 +363 @@
  * @param size Size in bytes defining the range of PTL0 entries that will be
  *             altered by this function.
+ *
  */
 void pt_mapping_make_global(uintptr_t base, size_t size)
 {
+        ASSERT(size > 0);
+        
         uintptr_t ptl0 = PA2KA((uintptr_t) AS_KERNEL->genarch.page_table);
         uintptr_t ptl0_step = ptl0_step_get();
         size_t order;
-        uintptr_t addr;
-
+        
 #if (PTL1_ENTRIES != 0)
         order = PTL1_SIZE;
@@ -378 +380 @@
         order = PTL3_SIZE;
 #endif
-
-        ASSERT(size > 0);
-
-        for (addr = ALIGN_DOWN(base, ptl0_step); addr - 1 < base + size - 1;
+        
+        for (uintptr_t addr = ALIGN_DOWN(base, ptl0_step);
+            addr - 1 < base + size - 1;
             addr += ptl0_step) {
-                uintptr_t l1;
-
-                l1 = PA2KA(frame_alloc(order, FRAME_LOWMEM, 0));
+                uintptr_t l1 = PA2KA(frame_alloc(order, FRAME_LOWMEM, 0));
                 memsetb((void *) l1, FRAME_SIZE << order, 0);
                 SET_PTL1_ADDRESS(ptl0, PTL0_INDEX(addr), KA2PA(l1));