diff --git a/include/lib/libc/time.h b/include/lib/libc/time.h
index 846ec21..5a48684 100644
--- a/include/lib/libc/time.h
+++ b/include/lib/libc/time.h
@@ -3,11 +3,15 @@
  *
  * SPDX-License-Identifier: BSD-3-Clause
  */
+/*
+ * Portions copyright (c) 2018, ARM Limited and Contributors.
+ * All rights reserved.
+ */
 
 #ifndef _TIME_H
 #define _TIME_H
 
-#include <arch/time.h>
+#include <time_.h>
 
 #ifndef NULL
 #define NULL ((void *) 0)