Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 00287cc152fcd78464c9296775809f965d6e96fd)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 80ce111b0d6102444ae43ddf0684c88aa8b1f562)
@@ -181,4 +181,5 @@
 
 	if (ret == AS_PF_FAULT) {
+		fault_if_from_uspace(istate, "Page fault: %#x.", badvaddr);
 		print_istate(istate);
 		printf("page fault - pc: %x, va: %x, status: %x(%x), "
@@ -186,5 +187,4 @@
 		    access);
 		
-		fault_if_from_uspace(istate, "Page fault: %#x.", badvaddr);
 		panic("Page fault.");
 	}