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.
diff --git a/platform/include/tfm_spm_hal.h b/platform/include/tfm_spm_hal.h
index 6d8afee..fc3a8b5 100644
--- a/platform/include/tfm_spm_hal.h
+++ b/platform/include/tfm_spm_hal.h
@@ -72,18 +72,6 @@
 fih_int tfm_spm_hal_configure_default_isolation(
                  bool privileged,
                  const struct platform_data_t *platform_data);
-
-/**
- * \brief This function verifies the settings of HW used for memory isolation,
- *        to make sure that important settings was not skipped due to fault
- *        injection attacks.
- *
- * This function is called during TF-M core late startup, before passing
- * execution to non-secure code.
- *
- * \return Returns values as specified by FIH specific platform error code
- */
-fih_int tfm_spm_hal_verify_isolation_hw(void);
 #else /* TFM_FIH_PROFILE_ON */
 #ifdef CONFIG_TFM_ENABLE_MEMORY_PROTECT
 /**