| 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 | |
| Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame^] | 11 | #ifndef STDINT_H |
| 12 | #define STDINT_H |
| Antonio Nino Diaz | cf0f805 | 2018-08-17 10:45:47 +0100 | [diff] [blame] | 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 | |
| Antonio Nino Diaz | 17605e7 | 2018-08-14 13:39:29 +0100 | [diff] [blame^] | 16 | #endif /* STDINT_H */ |