1 /* 2 * Copyright (c) 2012-2017 Roberto E. Vargas Caballero 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef _STDINT_H_ 8 #define _STDINT_H_ 9 10 #include <arch/stdint.h> 11 12 #endif 13