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