]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
2 | ** stdarg.h | |
3 | ** | |
4 | ** NOT INCLUDED | |
5 | */ | |
6 | ||
7 | /* | |
8 | typedef char *va_list; | |
9 | ||
10 | void va_end(va_list) { ensures true; } | |
11 | va_list va_start(va_list va, parmN) (list = ((va_list)&parmN + sizeof(parmN))) | |
12 | ||
13 | ||
14 | constant va_arg(list, mode) ((mode *)(list = (va_list) ((((int)list + (__builtin_alignof(mode)<=4?3:7)) & (__builtin_alignof(mode)<=4?-4:-8))+sizeof(mode))))[-1] | |
15 | ||
16 | */ | |
17 | ||
18 | typedef int ptrdiff_t; | |
19 | ||
20 | /* | |
21 | #define offsetof(s_name,m_name) (size_t)&(((s_name*)0))->m_name | |
22 | */ |