Sanitise includes across codebase
[project/bcm63xx/atf.git] / bl32 / tsp / tsp_timer.c
index ebe7f0d3958a55276995dfa9efa3994a24060727..35928634dcedb0f9b8996e20f580f69d0939fba9 100644 (file)
@@ -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"
 
 /*******************************************************************************