1 /* Copyright (c) 2015 Google Inc.
2 * Barret Rhoden <brho@cs.berkeley.edu>
3 * See LICENSE for details.
5 * Print routines for Akaros user programs. */
10 # include_next "stdio.h"
18 void ros_debugfmt(void (*putch)(int, void**), void **putdat, const char *fmt,
20 void ros_vdebugfmt(void (*putch)(int, void**), void **putdat, const char *fmt,
22 int ros_debug(const char *fmt, ...);
23 int ros_vdebug(const char *fmt, va_list);
26 #define printd(args...) printf(args)
28 #define printd(args...) {}
31 /* Override glibc's printf; ours will be safe from VC context, and uses glibc's
33 int akaros_printf(const char *format, ...);
35 #define printf(args...) akaros_printf(args)