HAL: Rename platform reset function
Align with HAL design document:
- Rename 'tfm_spm_hal_system_reset' to 'tfm_hal_system_reset'.
- Create 'tfm_hal_platform.h' for HAL APIs.
Change-Id: Ic9cc92350aac41ee80a4e474425cdfe23795b69e
Signed-off-by: Summer Qin <summer.qin@arm.com>
diff --git a/platform/include/tfm_hal_platform.h b/platform/include/tfm_hal_platform.h
new file mode 100644
index 0000000..bf61a84
--- /dev/null
+++ b/platform/include/tfm_hal_platform.h
@@ -0,0 +1,16 @@
+/*
+ * Copyright (c) 2020, Arm Limited. All rights reserved.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
+ *
+ */
+
+#ifndef __TFM_HAL_PLATFORM_H__
+#define __TFM_HAL_PLATFORM_H__
+
+/**
+ * \brief System reset
+ */
+void tfm_hal_system_reset(void);
+
+#endif /* __TFM_HAL_PLATFORM_H__ */
diff --git a/platform/include/tfm_spm_hal.h b/platform/include/tfm_spm_hal.h
index f96dd57..82d297a 100644
--- a/platform/include/tfm_spm_hal.h
+++ b/platform/include/tfm_spm_hal.h
@@ -164,11 +164,6 @@
enum tfm_plat_err_t tfm_spm_hal_system_reset_cfg(void);
/**
- * \brief System reset
- */
-void tfm_spm_hal_system_reset(void);
-
-/**
* \brief Configures all external interrupts to target the
* NS state, apart for the ones associated to secure
* peripherals (plus MPC and PPC)