--- src/sys/ddb/db_output.c	2005/12/23 21:35:44	1.7
+++ src/sys/ddb/db_output.c	2006/12/18 20:41:01	1.8
@@ -158,7 +158,7 @@ db_printf(const char *fmt, ...)
 	__va_list listp;
 
 	__va_start(listp, fmt);
-	kvprintf (fmt, db_putchar, NULL, db_radix, listp);
+	kvcprintf (fmt, db_putchar, NULL, db_radix, listp);
 	__va_end(listp);
 }
 
@@ -175,7 +175,7 @@ db_iprintf(const char *fmt,...)
 	while (--i >= 0)
 		db_printf(" ");
 	__va_start(listp, fmt);
-	kvprintf (fmt, db_putchar, NULL, db_radix, listp);
+	kvcprintf (fmt, db_putchar, NULL, db_radix, listp);
 	__va_end(listp);
 }