fpu.c | 398 fpu_area_restore(const void *area, uint64_t xsave_features, bool is_64bit) function in typeref:typename:void 424 fpu_area_restore(pcb->pcb_savefpu, x86_xsave_features, 536 fpu_area_restore(safe_fpu, x86_xsave_features, /*is_64bit*/false); 565 fpu_area_restore(zero_fpu, x86_xsave_features, /*is_64bit*/false);
|