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__ */