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 /* STDINT_H */ 17