refactor(cbmc): refactor platform specific constants
- Make HOST_MEM_SIZE a build time parameter
- REC AUX page sizes redefined for CBMC
- MAX_REC_AUX_GRANULES should be different for CBMC builds
Change-Id: I73c4886e2c7a05078e03a49d2dc83c4708bdd2be
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>
diff --git a/lib/allocator/include/memory_alloc.h b/lib/allocator/include/memory_alloc.h
index eb7da95..839338e 100644
--- a/lib/allocator/include/memory_alloc.h
+++ b/lib/allocator/include/memory_alloc.h
@@ -10,6 +10,8 @@
typedef struct memory_header_s memory_header_t;
+#ifndef CBMC
+
/* MbedTLS needs 8K of heap for attestation usecases */
#define REC_HEAP_PAGES 2U
#define REC_HEAP_SIZE (REC_HEAP_PAGES * SZ_4K)
@@ -44,6 +46,25 @@
REC_ATTEST_PAGES + \
RMM_CCA_TOKEN_BUFFER)
+#else /* CBMC */
+
+#define REC_HEAP_PAGES 2U
+#define REC_HEAP_SIZE (REC_HEAP_PAGES * SZ_4K)
+
+#define REC_PMU_PAGES 0U
+#define REC_PMU_SIZE (REC_PMU_PAGES * SZ_4K)
+
+#define REC_SIMD_PAGES 0U
+#define REC_SIMD_SIZE (REC_SIMD_PAGES * SZ_4K)
+
+#define REC_ATTEST_PAGES 0U
+#define REC_ATTEST_SIZE (REC_ATTEST_PAGES * SZ_4K)
+
+/* Number of aux granules pages per REC to be used */
+#define REC_NUM_PAGES (1U)
+
+#endif /* CBMC */
+
struct buffer_alloc_ctx {
unsigned char *buf;
size_t len;