Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision c1b455ef81f0a7d909a50b79a5328d46c6140609)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision bfce7d954add940561c1e2a8aefd67aa0a87cb83)
@@ -430,5 +430,4 @@
 		case AS_PF_FAULT:
 			page_table_lock(AS, true);
-			printf("Page fault.\n");
 			*pfrc = AS_PF_FAULT;
 			return NULL;
Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision c1b455ef81f0a7d909a50b79a5328d46c6140609)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision bfce7d954add940561c1e2a8aefd67aa0a87cb83)
@@ -96,5 +96,4 @@
 			return NULL;
 		case AS_PF_FAULT:
-			printf("Page fault.\n");
 			page_table_lock(as, lock);
 			*pfrc = rc;