commit 6ef16127c8ce34108bf9326ba591749e917dd6cc
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> Wed Aug 15 19:51:09 2018 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> Wed Aug 22 10:26:05 2018 +0100
tree a401a65eb0fb0aa89ad06bc8052500874aeb568e
parent cf0f805de37f67f7be7b49551919d3b4100e04f3

libc: Add AArch32 and AArch64 headers

Change-Id: I4f58bb4660078c9bc76d2826c90b2fa711719a3e
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>

include/lib/libc/stdint.h

diff --git a/include/lib/libc/stdint.h b/include/lib/libc/stdint.h
index cd24d1f..0b59a13 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