From 7c0ff9c40ceeacf239ec9a3465be0477594cf898 Mon Sep 17 00:00:00 2001
From: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Date: Wed, 15 Aug 2018 19:51:09 +0100
Subject: libc: Add AArch32 and AArch64 headers

Change-Id: I4f58bb4660078c9bc76d2826c90b2fa711719a3e
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
---
 include/lib/libc/stdint.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'include/lib/libc/stdint.h')

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
-- 
cgit v1.2.3