include/spd_bin.h: Add SPD IO layer
[coreboot2.git] / src / include / stdarg.h
blobf55fcc3019b6619ce58c0f2120cde0d7eb166619
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 /**
4 * Note: This file is only for POSIX compatibility.
5 */
7 #ifndef STDARG_H
8 #define STDARG_H
10 #include <stddef.h>
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;
17 int vsnprintf(char *buf, size_t size, const char *fmt, va_list args);
19 #endif /* STDARG_H */