| // Copyright Microsoft and CHERIoT Contributors. | |
| // SPDX-License-Identifier: MIT | |
| #ifndef __STDARG_H__ | |
| #define __STDARG_H__ | |
| /* | |
| * Minimalist contents of a traditional stdarg.h required to use printf(). | |
| */ | |
| typedef __builtin_va_list va_list; | |
| #define va_start(v, l) __builtin_va_start((v), l) | |
| #define va_end __builtin_va_end | |
| #define va_arg __builtin_va_arg | |
| #define va_copy __builtin_va_copy | |
| #endif /* _STDARG_H_ */ |