--- src/sys/dev/acpica5/Osd/OsdStream.c	2004/06/27 08:52:42	1.2
+++ src/sys/dev/acpica5/Osd/OsdStream.c	2006/12/18 20:41:01	1.3
@@ -40,12 +40,12 @@ AcpiOsPrintf(const char *Format, ...)
     va_list	ap;
 
     va_start(ap, Format);
-    vprintf(Format, ap);
+    kvprintf(Format, ap);
     va_end(ap);
 }
 
 void
 AcpiOsVprintf(const char *Format, va_list Args)
 {
-    vprintf(Format, Args);
+    kvprintf(Format, Args);
 }