From b5f0874cd96ee2a62aabc645b9626c2749cb6a01 Mon Sep 17 00:00:00 2001 From: manuel Date: Mon, 26 Mar 2012 12:54:45 +0200 Subject: initial pintos checkin --- pintos-progos/lib/stdarg.h | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 pintos-progos/lib/stdarg.h (limited to 'pintos-progos/lib/stdarg.h') diff --git a/pintos-progos/lib/stdarg.h b/pintos-progos/lib/stdarg.h new file mode 100644 index 0000000..32622b5 --- /dev/null +++ b/pintos-progos/lib/stdarg.h @@ -0,0 +1,14 @@ +#ifndef __LIB_STDARG_H +#define __LIB_STDARG_H + +/* GCC has functionality as built-ins, + so all we need is to use it. */ + +typedef __builtin_va_list va_list; + +#define va_start(LIST, ARG) __builtin_va_start (LIST, ARG) +#define va_end(LIST) __builtin_va_end (LIST) +#define va_arg(LIST, TYPE) __builtin_va_arg (LIST, TYPE) +#define va_copy(DST, SRC) __builtin_va_copy (DST, SRC) + +#endif /* lib/stdarg.h */ -- cgit v1.2.3