Home
last modified time | relevance | path

Searched refs:stk (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-m-3.4.0/secure_fw/spm/include/
Dtfm_arch_v8m.h124 __STATIC_INLINE uintptr_t arch_seal_thread_stack(uintptr_t stk) in arch_seal_thread_stack() argument
126 SPM_ASSERT((stk & 0x7) == 0); in arch_seal_thread_stack()
127 stk -= TFM_STACK_SEALED_SIZE; in arch_seal_thread_stack()
129 *((uint32_t *)stk) = TFM_STACK_SEAL_VALUE; in arch_seal_thread_stack()
130 *((uint32_t *)(stk + 4)) = TFM_STACK_SEAL_VALUE; in arch_seal_thread_stack()
132 return stk; in arch_seal_thread_stack()
/trusted-firmware-m-3.4.0/secure_fw/spm/cmsis_psa/arch/
Dtfm_arch_v6m_v7m.h123 __STATIC_INLINE uintptr_t arch_seal_thread_stack(uintptr_t stk) in arch_seal_thread_stack() argument
125 SPM_ASSERT((stk & 0x7) == 0); in arch_seal_thread_stack()
126 return stk; in arch_seal_thread_stack()