--- src/sys/kern/subr_bus.c	2006/10/25 20:56:02	1.32
+++ src/sys/kern/subr_bus.c	2006/12/18 20:41:01	1.33
@@ -822,7 +822,7 @@ device_printf(device_t dev, const char *
 
 	retval = device_print_prettyname(dev);
 	__va_start(ap, fmt);
-	retval += vprintf(fmt, ap);
+	retval += kvprintf(fmt, ap);
 	__va_end(ap);
 	return retval;
 }