diff options
Diffstat (limited to 'bl32/tsp/tsp_main.c')
| -rw-r--r-- | bl32/tsp/tsp_main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bl32/tsp/tsp_main.c b/bl32/tsp/tsp_main.c index ad7ee0a..05737ae 100644 --- a/bl32/tsp/tsp_main.c +++ b/bl32/tsp/tsp_main.c @@ -33,6 +33,7 @@ #include <bl32.h> #include <debug.h> #include <platform.h> +#include <platform_def.h> #include <spinlock.h> #include <stdio.h> #include <tsp.h> |