| 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 | */ | ||||
| 6 | |||||
| 7 | #ifndef _STDINT_H_ | ||||
| 8 | #define _STDINT_H_ | ||||
| 9 | |||||
| 10 | #include <arch/stdint.h> | ||||
| 11 | |||||
| 12 | #endif | ||||