| 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 | 6ef1612 | 2018-08-15 19:51:09 +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 | |
| 11 | #ifndef _STDINT_H_ |
| 12 | #define _STDINT_H_ |
| 13 | |
| Antonio Nino Diaz | 6ef1612 | 2018-08-15 19:51:09 +0100 | [diff] [blame^] | 14 | #include <stdint_.h> |
| Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 15 | |
| 16 | #endif |