Searched refs:fpu_store_registers (Results 1 – 1 of 1) sorted by relevance
243 static void fpu_store_registers(void *, boolean_t);410 fpu_store_registers(fps, FALSE); in configure_mxcsr_capability_mask()647 fpu_store_registers(void *fstate, boolean_t is64) in fpu_store_registers() function748 fpu_store_registers(ifps, is64); in fpu_switch_context()1460 fpu_store_registers(ifps, thread_is_64bit_addr(thr_act)); in fp_save()