aboutsummaryrefslogtreecommitdiff
path: root/bl32/tsp/tsp_timer.c
diff options
context:
space:
mode:
Diffstat (limited to 'bl32/tsp/tsp_timer.c')
-rw-r--r--bl32/tsp/tsp_timer.c7
1 files changed, 5 insertions, 2 deletions
diff --git a/bl32/tsp/tsp_timer.c b/bl32/tsp/tsp_timer.c
index ebe7f0d39..35928634d 100644
--- a/bl32/tsp/tsp_timer.c
+++ b/bl32/tsp/tsp_timer.c
@@ -3,9 +3,12 @@
*
* SPDX-License-Identifier: BSD-3-Clause
*/
-#include <arch_helpers.h>
+
#include <assert.h>
-#include <platform.h>
+
+#include <arch_helpers.h>
+#include <plat/common/platform.h>
+
#include "tsp_private.h"
/*******************************************************************************