sys/arch/x86/include/fpu.h

18

void fpu_area_restore(const void *, uint64_t, bool);

sys/arch/x86/x86/fpu.c

424

fpu_area_restore(pcb->pcb_savefpu, x86_xsave_features,

sys/arch/x86/x86/fpu.c

536

fpu_area_restore(safe_fpu, x86_xsave_features, /*is_64bit*/false);

sys/arch/x86/x86/fpu.c

565

fpu_area_restore(zero_fpu, x86_xsave_features, /*is_64bit*/false);

sys/dev/nvmm/x86/nvmm_x86_svm.c

1475

fpu_area_restore(&cpudata->gfpu, XCR0_X87|XCR0_SSE, false);

sys/dev/nvmm/x86/nvmm_x86_svm.c

1505

fpu_area_restore(&cpudata->gfpu, cpudata->xcr0_mask, false);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2124

fpu_area_restore(&cpudata->gfpu, XCR0_X87|XCR0_SSE, false);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2154

fpu_area_restore(&cpudata->gfpu, cpudata->xcr0_mask, true);