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