Searched refs:tfm_arch_get_psplim (Results 1 – 4 of 4) sorted by relevance
26 uint32_t stack_top = tfm_arch_get_psplim(); in alloc_conn_from_stack_top()35 uint32_t stack_top = tfm_arch_get_psplim(); in free_conn_from_stack_top()67 (tfm_arch_get_psplim() - CONNECTION_SIZE); in handle_to_connection()
117 uint32_t sp_limit = tfm_arch_get_psplim(); in init_spm_func_context()
110 __STATIC_INLINE uint32_t tfm_arch_get_psplim(void) in tfm_arch_get_psplim() function
112 __STATIC_INLINE uint32_t tfm_arch_get_psplim(void) in tfm_arch_get_psplim() function
