diff options
author | dp-arm <dimitris.papastamos@arm.com> | 2017-05-02 11:49:33 +0100 |
---|---|---|
committer | dp-arm <dimitris.papastamos@arm.com> | 2017-05-24 14:23:08 +0100 |
commit | c243e30babd0cc0ac392bf79006171256d3a4d01 (patch) | |
tree | 061b7c68e38a47ffae573f14e57b5ed09fb0c646 | |
parent | 22fa58cbfaa99a6458247c713bd03c2cac2a68fe (diff) |
Include missing header in arm_bl2_setup.c
Change-Id: I4108ce8d1fe7d3fd51a5a96d43b9134c23b8399b
Signed-off-by: dp-arm <dimitris.papastamos@arm.com>
-rw-r--r-- | plat/arm/common/arm_bl2_setup.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plat/arm/common/arm_bl2_setup.c b/plat/arm/common/arm_bl2_setup.c index ffec6642..e5619b7f 100644 --- a/plat/arm/common/arm_bl2_setup.c +++ b/plat/arm/common/arm_bl2_setup.c @@ -13,6 +13,7 @@ #include <desc_image_load.h> #include <plat_arm.h> #include <platform_def.h> +#include <platform.h> #include <string.h> #include <utils.h> |