This source file includes following definitions.
- dbgprintf
#include "nacl_io/dbgprint.h"
#include "nacl_io/kernel_wrap_real.h"
#include <alloca.h>
#include <stdarg.h>
#include <stdio.h>
#include <string.h>
void dbgprintf(const char* format, ...) {
va_list args;
size_t wrote;
char* output;
#ifdef _MSC_VER
#error "not implemented for win32"
#endif
va_start(args, format);
int len = vsnprintf(NULL, 0, format, args);
va_end(args);
output = alloca(len + 1);
va_start(args, format);
vsnprintf(output, len + 1, format, args);
va_end(args);
_real_write(2, output, strlen(output), &wrote);
}