feat(tools/cbmc): add testbench for RMI_REC_DESTROY
- Add testbench code for RMI_REALM_DESTROY
- Remove fields from struct rec so that the structure fits in the
reduced granule size for CBMC.
- Also remove code that uses the removed fields.
- Add CBMC glue layer code for REC handling.
- Increase CBMC GRANULE_SHIFT from 7 to 9 because 128 bytes is too
small 'struct rec'
- Update CBMC run baseline with tb_rmi_rec_destroy.c results
- Decrease MAX_NUM_OF_GRANULE to prevent CBMC run out of memory, and
add further changes to `struct rec` to increase its size
Change-Id: Ib2a646ecc2ed74d055364256bcad9976421d0ed9
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>
diff --git a/plat/host/host_cbmc/src/tb_common.c b/plat/host/host_cbmc/src/tb_common.c
index 5fcb3f4..2929ec5 100644
--- a/plat/host/host_cbmc/src/tb_common.c
+++ b/plat/host/host_cbmc/src/tb_common.c
@@ -94,6 +94,14 @@
return &granules[idx];
}
+void *granule_metadata_ptr_to_buffer_ptr(struct granule *g_ptr)
+{
+ if (!valid_granule_metadata_ptr(g_ptr)) {
+ return NULL;
+ }
+ return granules_buffer + (g_ptr - granules) * GRANULE_SIZE;
+}
+
uint64_t granule_metadata_ptr_to_pa(struct granule *g_ptr)
{
return (uint64_t)granules_buffer + (g_ptr - granules) * GRANULE_SIZE;