1 /*
2 * Copyright (c) 2012-2017 Roberto E. Vargas Caballero
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6 /*
7 * Portions copyright (c) 2018, ARM Limited and Contributors.
8 * All rights reserved.
9 */
10
11 #ifndef _STDINT_H_
12 #define _STDINT_H_
13
14 #include <stdint_.h>
15
16 #endif
17