--- src/sys/bus/isa/pnpparse.c	2006/09/05 03:48:09	1.8
+++ src/sys/bus/isa/pnpparse.c	2006/12/18 20:41:01	1.9
@@ -51,7 +51,7 @@ pnp_printf(u_int32_t id, char *fmt, ...)
 
 	__va_start(ap, fmt);
 	printf("%s: ", pnp_eisaformat(id));
-	vprintf(fmt, ap);
+	kvprintf(fmt, ap);
 	__va_end(ap);
 }