#include <stdarg.h>
#include <rtl_printf.h>
#include <asm/system.h>

int fprintf (void *stream, char *str, ...) {
  char buffer [4096];
  va_list args;
  va_start(args, str);
  vsprintf(buffer, str, args);
  va_end (args);
  return rtl_printf (buffer);
}