Home
last modified time | relevance | path

Searched refs:arch_release_sched_lock (Results 1 – 3 of 3) sorted by relevance

/trusted-firmware-m-latest/secure_fw/spm/core/arch/
Dtfm_arch.c55 __naked uint32_t arch_release_sched_lock(void) in arch_release_sched_lock() function
/trusted-firmware-m-latest/secure_fw/spm/include/
Dtfm_arch.h311 uint32_t arch_release_sched_lock(void);
/trusted-firmware-m-latest/secure_fw/spm/core/
Dbackend_ipc.c445 sched_attempted = arch_release_sched_lock(); in backend_abi_leaving_spm()