#include <_ansi.h>
#include <stdio.h>

#include "c99ppe.h"

#include <stdarg.h>

#ifdef INTEGER_ONLY
#  define vprintf viprintf
#endif

typedef struct
{
  const char* fmt;
  unsigned int pad0[ 3 ];
  va_list ap;
} c99_vprintf_t;

#ifndef _REENT_ONLY

int
vprintf (const char *fmt,
     va_list ap)
{
  c99_vprintf_t args;

  CHECK_STD_INIT(_REENT);

  args.fmt = fmt;
  va_copy(args.ap,ap);

  return __send_to_ppe(SPE_C99_SIGNALCODE, SPE_C99_VPRINTF, &args);
}

#endif /* ! _REENT_ONLY */