arch/all-hosted/bootstrap/runtime.c

   1 #include <runtime.h>
   2 #include <stdarg.h>
   3 #include <stdio.h>
   4
   5 void kprintf(const char *fmt, ...)
   6 {
   7     va_list args;
   8
   9     va_start(args, fmt);
  10     vfprintf(stderr, fmt, args);
  11     va_end(args);
  12 }