pintos-os.org Git - pintos-anon/blob - src/lib/stdarg.h

   1 #ifndef LIB_STDARG_H
   2 #define LIB_STDARG_H
   3
   4 /* GCC has <stdarg.h> functionality as built-ins,
   5    so all we need is to use it. */
   6
   7 typedef __builtin_va_list va_list;
   8
   9 #define va_start(LIST, ARG)     __builtin_va_start (LIST, ARG)
  10 #define va_end(LIST)            __builtin_va_end (LIST)
  11 #define va_arg(LIST, TYPE)      __builtin_va_arg (LIST, TYPE)
  12 #define va_copy(DST, SRC)       __builtin_va_copy (DST, SRC)
  13
  14 #endif /* lib/stdarg.h */