diff options
Diffstat (limited to 'bl31/bl31_main.c')
| -rw-r--r-- | bl31/bl31_main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c index ff7caf1d..71c64643 100644 --- a/bl31/bl31_main.c +++ b/bl31/bl31_main.c @@ -34,6 +34,7 @@ #include <bl_common.h> #include <bl31.h> #include <context_mgmt.h> +#include <platform.h> #include <runtime_svc.h> #include <stdio.h> |