Searched refs:write_fpexc (Results 1 – 1 of 1) sorted by relevance
31 static inline void write_fpexc(uint32_t val) { in write_fpexc() function38 write_fpexc(enable ? (1<<30) : 0); in arm_fpu_set_enable()107 write_fpexc(newthread->arch.fpexc); in arm_fpu_thread_swap()
Completed in 2 milliseconds