Index: arch/ppc32/src/mm/tlb.c
===================================================================
--- arch/ppc32/src/mm/tlb.c	(revision 84490003b9286dbd184c39b80d9a8e0478a32d2e)
+++ arch/ppc32/src/mm/tlb.c	(revision e3e29b75fa0f544d0b31734b0f089041e4127446)
@@ -86,4 +86,5 @@
 				pte = page_mapping_find(as, badvaddr);
 				ASSERT((pte) && (pte->p));
+				*pfrc = 0;
 				return pte;
 			case AS_PF_DEFER: