stdarg.h

 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