Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/arch/amd64/src/mm/page.c	(revision 1033d1fbada20027b76c48da5df9154d3a23932b)
@@ -57,9 +57,9 @@
 	unsigned int identity_flags =
 	    PAGE_GLOBAL | PAGE_CACHEABLE | PAGE_EXEC | PAGE_WRITE | PAGE_READ;
-		
+
 	page_mapping_operations = &pt_mapping_operations;
-		
+
 	page_table_lock(AS_KERNEL, true);
-		
+
 	/*
 	 * PA2KA(identity) mapping for all low-memory frames.
@@ -68,7 +68,7 @@
 	    cur += FRAME_SIZE)
 		page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, identity_flags);
-		
+
 	page_table_unlock(AS_KERNEL, true);
-		
+
 	exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);
 	write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
@@ -78,10 +78,10 @@
 {
 	uintptr_t badvaddr = read_cr2();
-	
+
 	if (istate->error_word & PFERR_CODE_RSVD)
 		panic("Reserved bit set in page table entry.");
-	
+
 	pf_access_t access;
-	
+
 	if (istate->error_word & PFERR_CODE_RW)
 		access = PF_ACCESS_WRITE;
@@ -90,5 +90,5 @@
 	else
 		access = PF_ACCESS_READ;
-	
+
 	(void) as_page_fault(badvaddr, access, istate);
 }