1 /*
2  * Copyright (c) 2012-2017 Roberto E. Vargas Caballero
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 /*
7  * Portions copyright (c) 2018, ARM Limited and Contributors.
8  * All rights reserved.
9  */
10 
11 #ifndef STDARG_H
12 #define STDARG_H
13 
14 #define va_list __builtin_va_list
15 #define va_start(ap, last) __builtin_va_start(ap, last)
16 #define va_end(ap) __builtin_va_end(ap)
17 #define va_copy(to, from) __builtin_va_copy(to, from)
18 #define va_arg(to, type) __builtin_va_arg(to, type)
19 
20 #endif /* STDARG_H */
21