HAL: Migrate the FIH HAL to TFM HAL for IPC model
This patch moves the tfm_spm_hal version HAL for FIH to tfm_hal.
Change-Id: I4fcc733148da6a799095b16713e1b29c9eb02667
Signed-off-by: Kevin Peng <kevin.peng@arm.com>
diff --git a/platform/include/tfm_hal_isolation.h b/platform/include/tfm_hal_isolation.h
index 120cdf5..437f0a0 100644
--- a/platform/include/tfm_hal_isolation.h
+++ b/platform/include/tfm_hal_isolation.h
@@ -39,6 +39,15 @@
fih_int tfm_hal_set_up_static_boundaries(void);
/**
+ * \brief This function is responsible for checking all critical isolation
+ configurations.
+ *
+ * \return TFM_HAL_SUCCESS - the verification passed.
+ * TFM_HAL_ERROR_GENERIC - the verification failed.
+ */
+fih_int tfm_hal_verify_static_boundaries(void);
+
+/**
* \brief Update the isolation boundaries.
*
* \param[in] p_ldinf Partition load information.