Searched refs:stk (Results 1 – 2 of 2) sorted by relevance
124 __STATIC_INLINE uintptr_t arch_seal_thread_stack(uintptr_t stk) in arch_seal_thread_stack() argument126 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()
123 __STATIC_INLINE uintptr_t arch_seal_thread_stack(uintptr_t stk) in arch_seal_thread_stack() argument125 SPM_ASSERT((stk & 0x7) == 0); in arch_seal_thread_stack()126 return stk; in arch_seal_thread_stack()