Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 693f61468fd51f75db2bdf5a6cd34f2921f7c532)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 37e518bcb08eaccfcdca2bc0e9eca06f4ebc26d2)
@@ -96,6 +96,6 @@
 			return NULL;
 		case AS_PF_FAULT:
+			printf("Page fault.\n");
 			page_table_lock(as, lock);
-			printf("Page fault.\n");
 			*pfrc = rc;
 			return NULL;