Implemented vprintk() to allow V3VEE debug printfs to be forwarded to the console

diff --git a/kitten/kernel/printk.c b/kitten/kernel/printk.c
index d0e2bf1..b410ec6 100644 (file)
--- a/kitten/kernel/printk.c
+++ b/kitten/kernel/printk.c
@@ -8,6 +8,19 @@
 int printk(const char *fmt, ...)
 {
        va_list args;
+       va_start(args, fmt);
+       int rc = vprintk( fmt, args );
+       va_end(args);
+       return rc;
+}
+
+
+int
+vprintk(
+       const char *            fmt,
+       va_list                 args
+)
+{
        int len;
        char buf[1024];
        char *p = buf;
@@ -22,9 +35,7 @@ int printk(const char *fmt, ...)
        remain -= len;
 
        /* Construct the string... */
-       va_start(args, fmt);
        len = vscnprintf(p, remain, fmt, args);
-       va_end(args);
 
        /* Pass the string to the console subsystem */
        console_write(buf);