Home
last modified time | relevance | path

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

/trusted-firmware-m-latest/secure_fw/spm/core/arch/
Dtfm_arch.c43 __naked void arch_acquire_sched_lock(void) in arch_acquire_sched_lock() function
/trusted-firmware-m-latest/secure_fw/spm/include/
Dtfm_arch.h299 void arch_acquire_sched_lock(void);
/trusted-firmware-m-latest/secure_fw/spm/core/
Dbackend_ipc.c433 arch_acquire_sched_lock(); in backend_abi_entering_spm()