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/include/tb_common.h b/plat/host/host_cbmc/include/tb_common.h
index 9e972a6..9a29474 100644
--- a/plat/host/host_cbmc/include/tb_common.h
+++ b/plat/host/host_cbmc/include/tb_common.h
@@ -106,6 +106,7 @@
bool valid_pa(uint64_t addr);
bool valid_granule_metadata_ptr(struct granule *p);
struct granule *pa_to_granule_metadata_ptr(uint64_t addr);
+void *granule_metadata_ptr_to_buffer_ptr(struct granule *g_ptr);
uint64_t granule_metadata_ptr_to_pa(struct granule *g_ptr);
void *pa_to_granule_buffer_ptr(uint64_t addr);