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)
13 typedef __builtin_va_list va_list;
14