--- src/sys/dev/disk/ata/ata-all.c	2006/10/25 20:55:53	1.32
+++ src/sys/dev/disk/ata/ata-all.c	2006/12/18 20:41:01	1.33
@@ -1420,7 +1420,7 @@ ata_printf(struct ata_channel *ch, int d
 			 (device == ATA_MASTER) ? "master" : "slave");
     }
     __va_start(ap, fmt);
-    ret += vprintf(fmt, ap);
+    ret += kvprintf(fmt, ap);
     __va_end(ap);
     return ret;
 }
@@ -1437,7 +1437,7 @@ ata_prtdev(struct ata_device *atadev, co
 	ret = printf("ata%d-%s: ", device_get_unit(atadev->channel->dev),
 		     (atadev->unit == ATA_MASTER) ? "master" : "slave");
     __va_start(ap, fmt);
-    ret += vprintf(fmt, ap);
+    ret += kvprintf(fmt, ap);
     __va_end(ap);
     return ret;
 }