Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision 8cbf1c333889cf14d44353c7d7d73d9dbf0441a3)
+++ kernel/genarch/src/mm/as_pt.c	(revision 5b08d7506fa0a7bbf6c9ccbfd674f4bca498b5b1)
@@ -82,5 +82,4 @@
 		/*
 		 * Copy the kernel address space portion to new PTL0.
-		 *
 		 */
 		
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision 8cbf1c333889cf14d44353c7d7d73d9dbf0441a3)
+++ kernel/genarch/src/mm/page_pt.c	(revision 5b08d7506fa0a7bbf6c9ccbfd674f4bca498b5b1)
@@ -363,12 +363,14 @@
  * @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,12 +380,9 @@
 	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));