Home
last modified time | relevance | path

Searched refs:thread_kernel_restore_vfp (Results 1 – 4 of 4) sorted by relevance

/optee_os/core/arch/riscv/include/kernel/
H A Dthread_arch.h174 void thread_kernel_restore_vfp(void);
181 static inline void thread_kernel_restore_vfp(void) in thread_kernel_restore_vfp() function
/optee_os/core/arch/arm/include/kernel/
H A Dthread_arch.h400 void thread_kernel_restore_vfp(void);
412 static inline void thread_kernel_restore_vfp(void) in thread_kernel_restore_vfp() function
/optee_os/core/arch/arm/kernel/
H A Dabort.c591 thread_kernel_restore_vfp(); in abort_handler()
H A Dthread.c838 void thread_kernel_restore_vfp(void) in thread_kernel_restore_vfp() function