int __wrap_vfprintf(FILE *stream, const char *fmt, va_list args)
{
if (unlikely(xeno_get_current() != XN_NO_HANDLE &&
!(xeno_get_current_mode() & XNRELAX)))
return rt_vfprintf(stream, fmt, args);
else {
rt_print_flush_buffers();
return __real_vfprintf(stream, fmt, args);
}
}
int rt_printf(const char *format, ...)
{
va_list args;
int n;
va_start(args, format);
n = rt_vfprintf(stdout, format, args);
va_end(args);
return n;
}
int rt_fprintf(FILE *stream, const char *format, ...)
{
va_list args;
int n;
va_start(args, format);
n = rt_vfprintf(stream, format, args);
va_end(args);
return n;
}
int rt_vprintf(const char *format, va_list args)
{
return rt_vfprintf(stdout, format, args);
}