1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#pragma once
8
9#define va_start(v,l) __builtin_va_start(v,l)
10#define va_copy(d,s) __builtin_va_copy(d,s)
11#define va_end(v) __builtin_va_end(v)
12#define va_arg(v,l) __builtin_va_arg(v,l)
13typedef __builtin_va_list va_list;
14
15