#include <stdint.h>
#include <stdbool.h>
#include "cmsis_compiler.h"
#include "utilities.h"
Go to the source code of this file.
#define EXC_RETURN_THREAD_S_PSP 0xFFFFFFFD |
__STATIC_INLINE bool is_return_secure_stack |
( |
uint32_t |
lr | ) |
|
Check whether Secure or Non-secure stack is used to restore stack frame on exception return.
- Parameters
-
[in] | lr | LR register containing the EXC_RETURN value. |
- Return values
-
true | Always return to Secure stack on secure core in multi-core topology. |
Definition at line 48 of file tfm_arch_v6m_v7m.h.
__STATIC_INLINE void tfm_arch_init_secure_msp |
( |
uint32_t |
msplim | ) |
|
Secure the MSP.
- Parameters
-
[in] | msplim | MSP limit value to be written. |
Definition at line 128 of file tfm_arch_v6m_v7m.h.
__STATIC_INLINE uintptr_t tfm_arch_seal_thread_stack |
( |
uintptr_t |
stk | ) |
|
Seal the thread stack.
- Parameters
-
[in] | stk | Thread stack address. |
- Return values
-
stack | Updated thread stack address. |
Definition at line 107 of file tfm_arch_v6m_v7m.h.
__STATIC_INLINE void tfm_arch_set_psplim |
( |
uint32_t |
psplim | ) |
|
Set PSP limit value.
- Parameters
-
[in] | psplim | PSP limit value to be written. |
Definition at line 91 of file tfm_arch_v6m_v7m.h.
__STATIC_INLINE void tfm_arch_update_ctx |
( |
struct tfm_arch_ctx_t * |
p_actx | ) |
|
Update architecture context value into hardware.
- Parameters
-
[in] | p_actx | Pointer of context data |
Definition at line 118 of file tfm_arch_v6m_v7m.h.