Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 4ad8f1943b4600d60ed13d3982599958580d18e4)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 48eb7a14a8533358b5a3d4be1e99bb2a217817c7)
@@ -36,4 +36,5 @@
 #include <arch/mm/tlb.h>
 #include <arch/interrupt.h>
+#include <interrupt.h>
 #include <mm/as.h>
 #include <arch.h>
@@ -117,4 +118,8 @@
 	if (s)
 		sym2 = s;
+
+	fault_if_from_uspace(istate,
+	    "%p: PHT Refill Exception at %p (%s<-%s)\n", badvaddr,
+	    istate->pc, symbol, sym2);
 	panic("%p: PHT Refill Exception at %p (%s<-%s)\n", badvaddr,
 	    istate->pc, symbol, sym2);