Index: kernel/test/debug/mips1.c
===================================================================
--- kernel/test/debug/mips1.c	(revision 17f168ea0a58301762156920e112c588faa90d23)
+++ kernel/test/debug/mips1.c	(revision 3f2177ec3c014007b443a285b62e08c76358c767)
@@ -37,8 +37,7 @@
 #include <arch.h>
 
-char *test_mips1(bool quiet)
+char *test_mips1(void)
 {
-	if (!quiet)
-		printf("If kconsole is compiled in, you should enter debug mode now.\n");
+	TPRINTF("If kconsole is compiled in, you should enter debug mode now.\n");
 	
 	asm volatile (
Index: kernel/test/debug/mips1_skip.c
===================================================================
--- kernel/test/debug/mips1_skip.c	(revision 17f168ea0a58301762156920e112c588faa90d23)
+++ kernel/test/debug/mips1_skip.c	(revision 3f2177ec3c014007b443a285b62e08c76358c767)
@@ -29,5 +29,5 @@
 #include <test.h>
 
-char *test_mips1(bool quiet)
+char *test_mips1(void)
 {
 	return NULL;