diff options
Diffstat (limited to 'bl32/tsp/tsp_interrupt.c')
-rw-r--r-- | bl32/tsp/tsp_interrupt.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bl32/tsp/tsp_interrupt.c b/bl32/tsp/tsp_interrupt.c index 5719c06..ac45d7a 100644 --- a/bl32/tsp/tsp_interrupt.c +++ b/bl32/tsp/tsp_interrupt.c @@ -34,6 +34,7 @@ #include <gic_v2.h> #include <tsp.h> #include <platform.h> +#include <platform_def.h> /******************************************************************************* * This function updates the TSP statistics for FIQs handled synchronously i.e |