1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  
 3  /**
 4   * Note: This file is only for POSIX compatibility.
 5   */
 6  
 7  #ifndef STDARG_H
 8  #define STDARG_H
 9  
10  #include <stddef.h>
11  
12  #define va_start(v, l)		__builtin_va_start(v, l)
13  #define va_end(v)		__builtin_va_end(v)
14  #define va_arg(v, l)		__builtin_va_arg(v, l)
15  typedef __builtin_va_list	va_list;
16  
17  int vsnprintf(char *buf, size_t size, const char *fmt, va_list args);
18  
19  #endif /* STDARG_H */