--- src/sys/dev/disk/isp/isp_freebsd.c	2006/09/10 01:26:33	1.16
+++ src/sys/dev/disk/isp/isp_freebsd.c	2006/12/18 20:41:01	1.17
@@ -2868,7 +2868,7 @@ isp_prt(struct ispsoftc *isp, int level,
 	}
 	printf("%s: ", device_get_nameunit(isp->isp_dev));
 	__va_start(ap, fmt);
-	vprintf(fmt, ap);
+	kvprintf(fmt, ap);
 	__va_end(ap);
 	printf("\n");
 }