PRINTF(9): Do not use printk() for log()

The BSD library functions must use printk().  The %D format specifier is
not supported, thus we cannot use the printf() family for output.

2 files changed, 6 insertions, 10 deletions

diff --git a/libbsd.txt b/libbsd.txt
index 7ecb75eb..628890ab 100644
--- a/libbsd.txt
+++ b/libbsd.txt
@@ -115,6 +115,9 @@ the current Git submodule commit is this
   destruction.  Add support for file descriptor transmission via control
   messages.
 
+* PRINTF(9): Add support for log(), the %D format specifier is missing in the
+  normal printf() family.
+
 [listing]
 ----
     /* sysinit section? */
diff --git a/rtemsbsd/rtems/rtems-bsd-log.c b/rtemsbsd/rtems/rtems-bsd-log.c
index 4afc16b9..ec5f705c 100644
--- a/rtemsbsd/rtems/rtems-bsd-log.c
+++ b/rtemsbsd/rtems/rtems-bsd-log.c
@@ -37,17 +37,10 @@
 #include <rtems/bsd/sys/types.h>
 #include <sys/systm.h>
 
-/*
- * Log writes to the log buffer, and guarantees not to sleep (so can be
- * called by interrupt routines).  If there is no process reading the
- * log yet, it writes to the console also.
- */
+#include <stdio.h>
+
 void
 log(int level, const char *fmt, ...)
 {
-        va_list ap;
-
-        va_start(ap, fmt);
-        vprintk(fmt, ap);
-        va_end(ap);
+	puts(fmt);
 }