static int vprintf(const char * fmt, va_list *ap) { struct printbuf b; b.idx = 0; b.cnt = 0; vfprintfmt((void *) &fputch, NULL, &b, fmt, ap); _DkPrintConsole(b.buf, b.idx); return b.cnt; }
static void sys_vfprintf (PAL_HANDLE hdl, const char * fmt, va_list * ap) { vfprintfmt((void *) &sys_fputch, hdl, NULL, fmt, ap); }
void debug_vprintf (const char * fmt, va_list * ap) { vfprintfmt((void *) debug_fputch, NULL, shim_get_tls()->debug_buf, fmt, ap); }