Cactus: Map RXTX region to third partion.
When the third cactus partition is booted, map the RXTX
region using the FFA_RXTX_MAP ABI. If this is successful,
point the mailbox to this RXTX region.
Signed-off-by: Ruari Phipps <ruari.phipps@arm.com>
Change-Id: Ifbe3bc70b187f75f29ef66356e714e8a905d2db8
diff --git a/include/runtime_services/ffa_helpers.h b/include/runtime_services/ffa_helpers.h
index 0692aa9..197879e 100644
--- a/include/runtime_services/ffa_helpers.h
+++ b/include/runtime_services/ffa_helpers.h
@@ -59,6 +59,7 @@
smc_ret_values ffa_features(uint32_t feature);
smc_ret_values ffa_partition_info_get(const uint32_t uuid[4]);
smc_ret_values ffa_rx_release(void);
+smc_ret_values ffa_rxtx_map(uintptr_t send, uintptr_t recv, uint32_t pages);
#endif /* __ASSEMBLY__ */