Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 26aafe8d909ecb61306a77910aeb374da3814391)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 235e6c77c5e5c577f9057bd1791cbfa4f6d7344c)
@@ -67,5 +67,5 @@
 	 * Check if the mapping exists in page tables.
 	 */
-	pte_t *pte = page_mapping_find(as, badvaddr);
+	pte_t *pte = page_mapping_find(as, badvaddr, true);
 	if ((pte) && (pte->present)) {
 		/*
@@ -89,5 +89,5 @@
 			 */
 			page_table_lock(as, true);
-			pte = page_mapping_find(as, badvaddr);
+			pte = page_mapping_find(as, badvaddr, true);
 			ASSERT((pte) && (pte->present));
 			*pfrc = 0;