1 // SPDX-License-Identifier: GPL-2.0-or-later
2 #ifndef _LINUX_STDARG_H
3 #define _LINUX_STDARG_H
4 
5 typedef __builtin_va_list va_list;
6 #define va_start(v, l)	__builtin_va_start(v, l)
7 #define va_end(v)	__builtin_va_end(v)
8 #define va_arg(v, T)	__builtin_va_arg(v, T)
9 #define va_copy(d, s)	__builtin_va_copy(d, s)
10 
11 #endif
12