Platform: Add tfm_ prefix in the platform HAL

This patch adds the tfm_ prefix in all the platform HAL files,
interfaces and HAL targets' implementation.
It also aligns the files with the coding style.

Change-Id: Ic1b1f80b20c1e8a19e6b8e56ee158b42c11df63c
Signed-off-by: Marc Moreno <marc.morenoberengue@arm.com>
diff --git a/platform/include/plat_crypto_keys.h b/platform/include/tfm_plat_crypto_keys.h
similarity index 62%
rename from platform/include/plat_crypto_keys.h
rename to platform/include/tfm_plat_crypto_keys.h
index 3cd03dd..328e8eb 100644
--- a/platform/include/plat_crypto_keys.h
+++ b/platform/include/tfm_plat_crypto_keys.h
@@ -1,23 +1,24 @@
 /*
- * Copyright (c) 2017, Arm Limited. All rights reserved.
+ * Copyright (c) 2017-2018, Arm Limited. All rights reserved.
  *
  * SPDX-License-Identifier: BSD-3-Clause
  *
  */
 
-#ifndef __PLAT_CRYPTO_KEYS__
-#define __PLAT_CRYPTO_KEYS__
+#ifndef __TFM_PLAT_CRYPTO_KEYS_H__
+#define __TFM_PLAT_CRYPTO_KEYS_H__
 /**
  * \note The interfaces defined in this file must be implemented for each
  *       SoC.
  */
+
+#include <stdint.h>
+#include "tfm_plat_defs.h"
+
 #ifdef __cplusplus
 extern "C" {
 #endif
 
-#include <stdint.h>
-#include "plat_defs.h"
-
 /**
  * \brief Gets hardware unique key for encryption
  *
@@ -26,10 +27,10 @@
  *
  * \return Returns error code specified in \ref tfm_plat_errno_t
  */
-enum tfm_plat_errno_t plat_get_crypto_huk(uint8_t* key, uint32_t size);
+enum tfm_plat_errno_t tfm_plat_get_crypto_huk(uint8_t *key, uint32_t size);
 
 #ifdef __cplusplus
 }
 #endif
 
-#endif /* __PLAT_CRYPTO_KEYS__ */
+#endif /* __TFM_PLAT_CRYPTO_KEYS_H__ */
diff --git a/platform/include/plat_defs.h b/platform/include/tfm_plat_defs.h
similarity index 66%
rename from platform/include/plat_defs.h
rename to platform/include/tfm_plat_defs.h
index a19478f..eeaf32f 100644
--- a/platform/include/plat_defs.h
+++ b/platform/include/tfm_plat_defs.h
@@ -1,19 +1,16 @@
 /*
- * Copyright (c) 2017, Arm Limited. All rights reserved.
+ * Copyright (c) 2017-2018, Arm Limited. All rights reserved.
  *
  * SPDX-License-Identifier: BSD-3-Clause
  *
  */
 
-#ifndef __PLAT_DEFS_H__
-#define __PLAT_DEFS_H__
+#ifndef __TFM_PLAT_DEFS_H__
+#define __TFM_PLAT_DEFS_H__
 /**
  * \note The interfaces defined in this file must be implemented for each
  *       target.
  */
-#ifdef __cplusplus
-extern "C" {
-#endif
 
 #include <stdint.h>
 #include <limits.h>
@@ -25,8 +22,4 @@
     TFM_PLAT_ERRNO_FORCE_INT_SIZE = INT_MAX
 };
 
-#ifdef __cplusplus
-}
-#endif
-
-#endif /* __PLAT_DEFS_H__ */
+#endif /* __TFM_PLAT_DEFS_H__ */