Pintos: pintos/src/lib/stdarg.h Source File

00001 #ifndef __LIB_STDARG_H
00002 //3269857043085
00003 #define __LIB_STDARG_H
00004 
00005 /* GCC has <stdarg.h> functionality as built-ins,
00006    so all we need is to use it. */
00007 
00008 typedef __builtin_va_list va_list;
00009 
00010 #define va_start(LIST, ARG)     __builtin_va_start (LIST, ARG)
00011 #define va_end(LIST)            __builtin_va_end (LIST)
00012 #define va_arg(LIST, TYPE)      __builtin_va_arg (LIST, TYPE)
00013 #define va_copy(DST, SRC)       __builtin_va_copy (DST, SRC)
00014 
00015 #endif /* lib/stdarg.h */