Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
+++ kernel/arch/amd64/src/mm/page.c	(revision ec04b209000b3a97373f9e45740f860a49db9a9b)
@@ -111,5 +111,5 @@
 		}
 
-		exc_register(14, "page_fault", (iroutine)page_fault);
+		exc_register(14, "page_fault", (iroutine) page_fault);
 		write_cr3((uintptr_t) AS_KERNEL->page_table);
 	}
@@ -194,5 +194,5 @@
 		fault_if_from_uspace(istate, "Page fault: %#x", page);
 
-		print_info_errcode(n, istate);
+		decode_istate(n, istate);
 		printf("Page fault address: %llx\n", page);
 		panic("page fault\n");