aboutsummaryrefslogtreecommitdiff
path: root/secure_fw/core/include/tfm_platform_core_api.h
diff options
context:
space:
mode:
Diffstat (limited to 'secure_fw/core/include/tfm_platform_core_api.h')
-rw-r--r--secure_fw/core/include/tfm_platform_core_api.h13
1 files changed, 12 insertions, 1 deletions
diff --git a/secure_fw/core/include/tfm_platform_core_api.h b/secure_fw/core/include/tfm_platform_core_api.h
index 3532752049..0f0d759afb 100644
--- a/secure_fw/core/include/tfm_platform_core_api.h
+++ b/secure_fw/core/include/tfm_platform_core_api.h
@@ -1,5 +1,5 @@
/*
- * Copyright (c) 2018-2019, Arm Limited. All rights reserved.
+ * Copyright (c) 2018-2020, Arm Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*
@@ -8,6 +8,8 @@
#ifndef __TFM_PLATFORM_CORE_API_H__
#define __TFM_PLATFORM_CORE_API_H__
+#include <stdbool.h>
+
/**
* \brief Should be called in case of access violation.
*
@@ -21,4 +23,13 @@
*/
void tfm_access_violation_handler(void);
+/**
+ * \brief Return whether a secure partition is privileged.
+ *
+ * \param[in] partition_idx The index of the partition in the partition_db.
+ *
+ * \return True if the partition is privileged, false otherwise.
+ */
+bool tfm_is_partition_privileged(uint32_t partition_idx);
+
#endif /* __TFM_PLATFORM_CORE_API_H__ */