| Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2012-2017 Roberto E. Vargas Caballero |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 6 | /* |
| 7 | * Portions copyright (c) 2018, ARM Limited and Contributors. |
| 8 | * All rights reserved. |
| 9 | */ |
| Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 10 | |
| Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 11 | #ifndef STDARG_H |
| 12 | #define STDARG_H |
| Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 13 | |
| 14 | #define va_list __builtin_va_list |
| 15 | #define va_start(ap, last) __builtin_va_start(ap, last) |
| 16 | #define va_end(ap) __builtin_va_end(ap) |
| 17 | #define va_copy(to, from) __builtin_va_copy(to, from) |
| 18 | #define va_arg(to, type) __builtin_va_arg(to, type) |
| 19 | |
| Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame] | 20 | #endif /* STDARG_H */ |