CS318 - Pintos
Pintos source browser for JHU CS318 course
stdarg.h
Go to the documentation of this file.
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 */
va_list
__builtin_va_list va_list
GCC has <stdarg.h> functionality as built-ins, so all we need is to use it.
Definition: stdarg.h:7