diff options
Diffstat (limited to 'bl32/tsp/tsp_timer.c')
-rw-r--r-- | bl32/tsp/tsp_timer.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bl32/tsp/tsp_timer.c b/bl32/tsp/tsp_timer.c index f66ff9fa..366640f4 100644 --- a/bl32/tsp/tsp_timer.c +++ b/bl32/tsp/tsp_timer.c @@ -29,6 +29,7 @@ */ #include <arch_helpers.h> #include <assert.h> +#include <platform.h> #include <tsp.h> /******************************************************************************* |