refactor(cbmc): make granule related buffers global
Change-Id: Ib31e826e9e98fd80d831f41408f32de274bfefad
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>
diff --git a/plat/host/common/src/host_utils.c b/plat/host/common/src/host_utils.c
index 34eaa83..8967c1c 100644
--- a/plat/host/common/src/host_utils.c
+++ b/plat/host/common/src/host_utils.c
@@ -13,6 +13,7 @@
#include <plat_common.h>
#include <rmm_el3_ifc.h>
#include <string.h>
+#include <utils_def.h>
#include <xlat_tables.h>
static struct sysreg_data sysregs[SYSREG_MAX_CBS];
@@ -24,7 +25,7 @@
* Allocate memory to emulate physical memory to initialize the
* granule library.
*/
-static unsigned char granules_buffer[HOST_MEM_SIZE] __aligned(GRANULE_SIZE);
+IF_NCBMC(static) unsigned char granules_buffer[HOST_MEM_SIZE] __aligned(GRANULE_SIZE);
/*
* Define and set the Boot Interface arguments.