Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 60d931d2ab10130e11bbd48f2a9b389bc4e76ec1)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 1dbc43f1c037ded959f69e4b6346df8bf12e2431)
@@ -151,10 +151,5 @@
 	pf_access_t access = get_memory_access_type(istate->pc, badvaddr);
 
-	int ret = as_page_fault(badvaddr, access, istate);
-
-	if (ret == AS_PF_FAULT) {
-		fault_if_from_uspace(istate, "Page fault: %#x.", badvaddr);
-		panic_memtrap(istate, access, badvaddr, NULL);
-	}
+	as_page_fault(badvaddr, access, istate);
 }
 
@@ -167,11 +162,5 @@
 void prefetch_abort(unsigned int exc_no, istate_t *istate)
 {
-	int ret = as_page_fault(istate->pc, PF_ACCESS_EXEC, istate);
-
-	if (ret == AS_PF_FAULT) {
-		fault_if_from_uspace(istate,
-		    "Page fault - prefetch_abort: %#x.", istate->pc);
-		panic_memtrap(istate, PF_ACCESS_EXEC, istate->pc, NULL);
-	}
+	as_page_fault(istate->pc, PF_ACCESS_EXEC, istate);
 }