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