Searched defs:thread_kernel_restore_vfp (Results 1 – 3 of 3) sorted by relevance
181 static inline void thread_kernel_restore_vfp(void) in thread_kernel_restore_vfp() function
838 void thread_kernel_restore_vfp(void) in thread_kernel_restore_vfp() function
412 static inline void thread_kernel_restore_vfp(void) in thread_kernel_restore_vfp() function