// 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_ */