PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
lib
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
Generated on Thu Nov 4 2021 19:31:00 for PKUOS - Pintos by
1.9.2