#include "xstdio.h"
#include "os.h"
#include "os_internal.h"
#include "rdb.h"

extern void *__printfunc;

void __osSyncVPrintf(const char *fmt, va_list ap)
{
    int ans;

#ifndef _FINALROM
    if (__printfunc)
      ans = _Printf(__printfunc, NULL, fmt, ap);
#endif
}

void osSyncPrintf(const char *fmt, ...)
{
	int ans;
	va_list ap;

#ifndef _FINALROM
	va_start(ap, fmt);
	__osSyncVPrintf( fmt , ap);
	va_end(ap);
#endif
}

void rmonPrintf(const char *fmt, ...)
{
	int ans;
	va_list ap;

#ifndef _FINALROM
	va_start(ap, fmt);
	if (__printfunc)
	    ans = _Printf(__printfunc, NULL, fmt, ap);
	va_end(ap);
#endif
}