diff options
Diffstat (limited to 'bl31/aarch64/bl31_arch_setup.c')
| -rw-r--r-- | bl31/aarch64/bl31_arch_setup.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bl31/aarch64/bl31_arch_setup.c b/bl31/aarch64/bl31_arch_setup.c index 793b8958..acaa6b57 100644 --- a/bl31/aarch64/bl31_arch_setup.c +++ b/bl31/aarch64/bl31_arch_setup.c @@ -28,9 +28,12 @@ * POSSIBILITY OF SUCH DAMAGE. */ +#include <arch.h> #include <arch_helpers.h> -#include <platform.h> #include <assert.h> +#include <bl_common.h> +#include <bl31.h> +#include <platform.h> /******************************************************************************* * This duplicates what the primary cpu did after a cold boot in BL1. The same |