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