Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
+++ kernel/arch/amd64/src/mm/page.c	(revision e4a4b4413aaef3d49bbd56900f9bc991e990beea)
@@ -196,8 +196,5 @@
 	if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
 		fault_if_from_uspace(istate, "Page fault: %#x.", page);
-
-		decode_istate(n, istate);
-		printf("Page fault address: %llx.\n", page);
-		panic("Page fault.");
+		panic_memtrap(istate, access, page, "Page fault.");
 	}
 }