Searched defs:lazyFPURestore (Results 1 - 1 of 1) sorted by relevance

/seL4-mcs-10.1.1/include/machine/
H A Dfpu.h41 static inline void FORCE_INLINE lazyFPURestore(tcb_t *thread) function

Completed in 34 milliseconds