Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 34ab31c07adc45860f5f9b2702a59d14b2161171)
+++ kernel/arch/amd64/src/mm/page.c	(revision 894d9ea4ebb3dc44d6c4351bbf2dd01289949937)
@@ -92,8 +92,5 @@
 		access = PF_ACCESS_READ;
 	
-	if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
-		fault_if_from_uspace(istate, "Page fault: %p.", (void *) page);
-		panic_memtrap(istate, access, page, NULL);
-	}
+	as_page_fault(page, access, istate);
 }