diff -ru _/gxemul/src/cpus/cpu_mips.cc gxemul/src/cpus/cpu_mips.cc
--- _/gxemul/src/cpus/cpu_mips.cc	2010-02-14 18:33:54.000000000 +0900
+++ gxemul/src/cpus/cpu_mips.cc	2010-05-11 00:00:00.000000000 +0900
@@ -1795,7 +1795,11 @@
 			debug("]\n");
 	}
 
+#if 0
 	if (tlb && vaddr < 0x1000) {
+#else /* patch */
+	if (tlb && vaddr < 0x1000 && !quiet_mode) {
+#endif
 		uint64_t offset;
 		char *symbol = get_symbol_name(&cpu->machine->symbol_context,
 		    cpu->pc, &offset);