Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 6c3106f2799b7a9663b846f3973d4b21e90bfb2a)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 9ea8fdb468d87b5fe943968fa3901cbdae78af90)
@@ -223,6 +223,7 @@
 		switch (pfrc) {
 		case AS_PF_FAULT:
-			goto fail;
-			break;
+			page_table_unlock(as, true);
+			pht_refill_fail(badvaddr, istate);
+			return;
 		case AS_PF_DEFER:
 			/*
@@ -242,9 +243,4 @@
 	
 	page_table_unlock(as, true);
-	return;
-	
-fail:
-	page_table_unlock(as, true);
-	pht_refill_fail(badvaddr, istate);
 }