Clean up ros_vdebug* interfaces
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 14 Dec 2015 19:55:29 +0000 (14:55 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 16 Dec 2015 23:23:10 +0000 (18:23 -0500)
Mostly just a rename and removing some of the unused parts of the
interface.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/debug.c
user/parlib/debugfmt.c
user/parlib/include/stdio.h

index ddb3c97..204cca4 100644 (file)
@@ -33,14 +33,14 @@ static void putch(int ch, debugbuf_t **b)
        (*b)->cnt++;
 }
 
-int ros_vdebug(const char *fmt, va_list ap)
+int akaros_vprintf(const char *fmt, va_list ap)
 {
        debugbuf_t b;
        debugbuf_t *bp = &b;
 
        b.idx = 0;
        b.cnt = 0;
-       ros_vdebugfmt((void*)putch, (void*)&bp, fmt, ap);
+       akaros_vprintfmt((void*)putch, (void*)&bp, fmt, ap);
        sys_cputs(b.buf, b.idx);
 
        return b.cnt;
@@ -53,7 +53,7 @@ int akaros_printf(const char *format, ...)
 
        va_start(ap, format);
        if (in_vcore_context())
-               ret = ros_vdebug(format, ap);
+               ret = akaros_vprintf(format, ap);
        else
                ret = vprintf(format, ap);
        va_end(ap);
index d6f1a2a..1392b68 100644 (file)
@@ -24,8 +24,8 @@ static void printnum(void (*putch)(int, void**), void **putdat,
 }
 
 // Main function to format and print a string.
-void ros_debugfmt(void (*putch)(int, void**), void **putdat, const char *fmt, ...);
-void ros_vdebugfmt(void (*putch)(int, void**), void **putdat, const char *fmt, va_list ap)
+void akaros_vprintfmt(void (*putch)(int, void**), void **putdat,
+                      const char *fmt, va_list ap)
 {
        register const char *p;
        const char *last_fmt;
@@ -194,13 +194,3 @@ void ros_vdebugfmt(void (*putch)(int, void**), void **putdat, const char *fmt, v
                }
        }
 }
-
-void ros_debugfmt(void (*putch)(int, void**), void **putdat, const char *fmt, ...)
-{
-       va_list ap;
-
-       va_start(ap, fmt);
-       ros_vdebugfmt(putch, putdat, fmt, ap);
-       va_end(ap);
-}
-
index 45bea7a..e752bc2 100644 (file)
 
 __BEGIN_DECLS
 
-void ros_debugfmt(void (*putch)(int, void**), void **putdat, const char *fmt,
-                  ...);
-void ros_vdebugfmt(void (*putch)(int, void**), void **putdat, const char *fmt,
-                   va_list);
-int    ros_vdebug(const char *fmt, va_list);
+void akaros_vprintfmt(void (*putch)(int, void**), void **putdat,
+                      const char *fmt, va_list);
+int akaros_vprintf(const char *fmt, va_list);
 
 #ifdef PRINTD_DEBUG
 #define printd(args...) printf(args)