Searched refs:fpu_store_registers (Results 1 – 1 of 1) sorted by relevance
202 static void fpu_store_registers(void *, boolean_t);359 fpu_store_registers(fps, FALSE); in configure_mxcsr_capability_mask()595 fpu_store_registers(void *fstate, boolean_t is64) in fpu_store_registers() function696 fpu_store_registers(ifps, is64); in fpu_switch_context()1403 fpu_store_registers(ifps, thread_is_64bit_addr(thr_act)); in fp_save()