diff options
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-15 19:51:09 +0100 |
|---|---|---|
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-22 10:26:05 +0100 |
| commit | 7c0ff9c40ceeacf239ec9a3465be0477594cf898 (patch) | |
| tree | a401a65eb0fb0aa89ad06bc8052500874aeb568e /include/lib/libc/stdint.h | |
| parent | 27989a8e34a44ff8e6a2e5b011123a09fd8a82c7 (diff) | |
libc: Add AArch32 and AArch64 headers
Change-Id: I4f58bb4660078c9bc76d2826c90b2fa711719a3e
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'include/lib/libc/stdint.h')
| -rw-r--r-- | include/lib/libc/stdint.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/include/lib/libc/stdint.h b/include/lib/libc/stdint.h index cd24d1f3..0b59a13b 100644 --- a/include/lib/libc/stdint.h +++ b/include/lib/libc/stdint.h @@ -3,10 +3,14 @@ * * SPDX-License-Identifier: BSD-3-Clause */ +/* + * Portions copyright (c) 2018, ARM Limited and Contributors. + * All rights reserved. + */ #ifndef _STDINT_H_ #define _STDINT_H_ -#include <arch/stdint.h> +#include <stdint_.h> #endif |