--- np2/i386c/ia32/debug.c	2012/01/08 07:45:08	1.19
+++ np2/i386c/ia32/debug.c	2012/01/08 08:02:38	1.20
@@ -101,7 +101,7 @@ put_cpuinfo(void)
 #endif
 	strcat(buf, a20str());
 
-	printf(buf);
+	printf("%s", buf);
 }
 
 void
@@ -115,7 +115,7 @@ dbg_printf(const char *str, ...)
 	va_end(ap);
 	strcat(buf, "\n");
 
-	printf(buf);
+	printf("%s", buf);
 }
 
 void