Index: kernel/genarch/src/mm/as_ht.c
===================================================================
--- kernel/genarch/src/mm/as_ht.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/mm/as_ht.c	(revision 95aed62f997beed657c99c003a81e20a7a71d608)
@@ -79,5 +79,5 @@
 		    NULL, NULL, SLAB_CACHE_MAGDEFERRED);
 	}
-	
+
 	return NULL;
 }
Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/mm/as_pt.c	(revision 95aed62f997beed657c99c003a81e20a7a71d608)
@@ -75,5 +75,5 @@
 	pte_t *dst_ptl0 = (pte_t *)
 	    PA2KA(frame_alloc(PTL0_FRAMES, FRAME_LOWMEM, PTL0_SIZE - 1));
-	
+
 	if (flags & FLAG_AS_KERNEL)
 		memsetb(dst_ptl0, PTL0_SIZE, 0);
@@ -82,22 +82,22 @@
 		 * Copy the kernel address space portion to new PTL0.
 		 */
-		
+
 		mutex_lock(&AS_KERNEL->lock);
-		
+
 		pte_t *src_ptl0 =
 		    (pte_t *) PA2KA((uintptr_t) AS_KERNEL->genarch.page_table);
-		
+
 		uintptr_t src = (uintptr_t)
 		    &src_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
 		uintptr_t dst = (uintptr_t)
 		    &dst_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
-		
+
 		memsetb(dst_ptl0, PTL0_SIZE, 0);
 		memcpy((void *) dst, (void *) src,
 		    PTL0_SIZE - (src - (uintptr_t) src_ptl0));
-		
+
 		mutex_unlock(&AS_KERNEL->lock);
 	}
-	
+
 	return (pte_t *) KA2PA((uintptr_t) dst_ptl0);
 }
Index: kernel/genarch/src/mm/asid.c
===================================================================
--- kernel/genarch/src/mm/asid.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/mm/asid.c	(revision 95aed62f997beed657c99c003a81e20a7a71d608)
@@ -84,5 +84,5 @@
 	 * Check if there is an unallocated ASID.
 	 */
-	
+
 	if (asids_allocated == ASIDS_ALLOCABLE) {
 
@@ -91,5 +91,5 @@
 		 * Resort to stealing.
 		 */
-		
+
 		/*
 		 * Remove the first item on the list.
@@ -100,5 +100,5 @@
 		assert(tmp != NULL);
 		list_remove(tmp);
-		
+
 		as = list_get_instance(tmp, as_t, inactive_as_with_asid_link);
 
@@ -115,5 +115,5 @@
 		 */
 		as->asid = ASID_INVALID;
-		
+
 		/*
 		 * If the architecture uses some software cache
@@ -122,5 +122,5 @@
 		 */
 		as_invalidate_translation_cache(as, 0, (size_t) -1);
-		
+
 		/*
 		 * Get the system rid of the stolen ASID.
@@ -146,5 +146,5 @@
 		tlb_shootdown_finalize(ipl);
 	}
-	
+
 	return asid;
 }
Index: kernel/genarch/src/mm/asid_fifo.c
===================================================================
--- kernel/genarch/src/mm/asid_fifo.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/mm/asid_fifo.c	(revision 95aed62f997beed657c99c003a81e20a7a71d608)
@@ -30,5 +30,5 @@
  * @{
  */
- 
+
 /**
  * @file
@@ -66,5 +66,5 @@
 	fifo_create(free_asids);
 #endif
-		
+
 	for (i = 0; i < ASIDS_ALLOCABLE; i++) {
 		fifo_push(free_asids, ASID_START + i);
Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/mm/page_ht.c	(revision 95aed62f997beed657c99c003a81e20a7a71d608)
@@ -135,5 +135,5 @@
 {
 	assert(item);
-	
+
 	pte_t *pte = hash_table_get_inst(item, pte_t, link);
 	slab_free(pte_cache, pte);
@@ -162,9 +162,9 @@
 
 	irq_spinlock_lock(&page_ht_lock, true);
-	
+
 	if (!hash_table_find(&page_ht, key)) {
 		pte_t *pte = slab_alloc(pte_cache, FRAME_LOWMEM | FRAME_ATOMIC);
 		assert(pte != NULL);
-		
+
 		pte->g = (flags & PAGE_GLOBAL) != 0;
 		pte->x = (flags & PAGE_EXEC) != 0;
@@ -175,5 +175,5 @@
 		pte->a = false;
 		pte->d = false;
-		
+
 		pte->as = as;
 		pte->page = ALIGN_DOWN(page, PAGE_SIZE);
@@ -185,5 +185,5 @@
 		 */
 		write_barrier();
-		
+
 		hash_table_insert(&page_ht, &pte->link);
 	}
@@ -210,5 +210,5 @@
 
 	assert(page_table_locked(as));
-	
+
 	irq_spinlock_lock(&page_ht_lock, true);
 
@@ -235,5 +235,5 @@
 	if (cur)
 		return hash_table_get_inst(cur, pte_t, link);
-	
+
 	return NULL;
 }
@@ -257,5 +257,5 @@
 
 	irq_spinlock_unlock(&page_ht_lock, true);
-	
+
 	return t != NULL;
 }
@@ -275,5 +275,5 @@
 	if (!t)
 		panic("Updating non-existent PTE");
-	
+
 	assert(pte->as == t->as);
 	assert(pte->page == t->page);
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/mm/page_pt.c	(revision 95aed62f997beed657c99c003a81e20a7a71d608)
@@ -83,5 +83,5 @@
 
 	assert(page_table_locked(as));
-	
+
 	if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) {
 		pte_t *newpt = (pte_t *)
@@ -100,7 +100,7 @@
 		SET_PTL1_PRESENT(ptl0, PTL0_INDEX(page));
 	}
-	
+
 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
-	
+
 	if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT) {
 		pte_t *newpt = (pte_t *)
@@ -117,7 +117,7 @@
 		SET_PTL2_PRESENT(ptl1, PTL1_INDEX(page));
 	}
-	
+
 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
-	
+
 	if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT) {
 		pte_t *newpt = (pte_t *)
@@ -134,7 +134,7 @@
 		SET_PTL3_PRESENT(ptl2, PTL2_INDEX(page));
 	}
-	
+
 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
-	
+
 	SET_FRAME_ADDRESS(ptl3, PTL3_INDEX(page), frame);
 	SET_FRAME_FLAGS(ptl3, PTL3_INDEX(page), flags | PAGE_NOT_PRESENT);
@@ -165,19 +165,19 @@
 	 * First, remove the mapping, if it exists.
 	 */
-	
+
 	pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
 	if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT)
 		return;
-	
+
 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
 	if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT)
 		return;
-	
+
 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
 	if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT)
 		return;
-	
+
 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
-	
+
 	/*
 	 * Destroy the mapping.
@@ -189,13 +189,13 @@
 	SET_FRAME_FLAGS(ptl3, PTL3_INDEX(page), PAGE_NOT_PRESENT);
 	memsetb(&ptl3[PTL3_INDEX(page)], sizeof(pte_t), 0);
-	
+
 	/*
 	 * Second, free all empty tables along the way from PTL3 down to PTL0
 	 * except those needed for sharing the kernel non-identity mappings.
 	 */
-	
+
 	/* Check PTL3 */
 	bool empty = true;
-	
+
 	unsigned int i;
 	for (i = 0; i < PTL3_ENTRIES; i++) {
@@ -205,5 +205,5 @@
 		}
 	}
-	
+
 	if (empty) {
 		/*
@@ -232,5 +232,5 @@
 		return;
 	}
-	
+
 	/* Check PTL2, empty is still true */
 #if (PTL2_ENTRIES != 0)
@@ -241,5 +241,5 @@
 		}
 	}
-	
+
 	if (empty) {
 		/*
@@ -267,5 +267,5 @@
 	}
 #endif /* PTL2_ENTRIES != 0 */
-	
+
 	/* check PTL1, empty is still true */
 #if (PTL1_ENTRIES != 0)
@@ -276,5 +276,5 @@
 		}
 	}
-	
+
 	if (empty) {
 		/*
@@ -301,5 +301,5 @@
 
 	read_barrier();
-	
+
 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
 	if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT)
@@ -312,5 +312,5 @@
 	read_barrier();
 #endif
-	
+
 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
 	if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT)
@@ -323,7 +323,7 @@
 	read_barrier();
 #endif
-	
+
 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
-	
+
 	return &ptl3[PTL3_INDEX(page)];
 }
@@ -400,9 +400,9 @@
 {
 	assert(size > 0);
-	
+
 	uintptr_t ptl0 = PA2KA((uintptr_t) AS_KERNEL->genarch.page_table);
 	uintptr_t ptl0_step = ptl0_step_get();
 	size_t frames;
-	
+
 #if (PTL1_ENTRIES != 0)
 	frames = PTL1_FRAMES;
@@ -412,5 +412,5 @@
 	frames = PTL3_FRAMES;
 #endif
-	
+
 	for (uintptr_t addr = ALIGN_DOWN(base, ptl0_step);
 	    addr - 1 < base + size - 1;