1// SPDX-License-Identifier: GPL-2.0-or-later
2#ifndef _LINUX_STDARG_H
3#define _LINUX_STDARG_H
4
5typedef __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