BoardConsole.c

Go to the documentation of this file.

#include <stdio.h>
#include <malloc.h>
#include <stdarg.h>
#include "BoardConsole.h"
#include <debug_frmwrk.h>

void BoardConsoleInit() {
    debug_frmwrk_init();
}

void BoardConsolePuts(const char * str) {
    _DBG_(str);
}

void BoardConsolePutc(int c) {
    _DBC(c);
}

void BoardConsolePrintf(const char * fmt, ...) {
    va_list ap;
    va_start(ap, fmt);
    BoardConsoleVPrintf(fmt, ap);
    va_end(ap);
}

static void xprintfCallback(const char * str, int strsize, void * opaque0) {
    while (strsize--)
        BoardConsolePutc(*str++);
}

void BoardConsoleVPrintf(const char * fmt, va_list ap) {
    vxprintf(xprintfCallback, NULL, fmt, ap);
}