HomeSort by: relevance | last modified time | path
    Searched refs:fpu_area_save (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/arch/x86/include/
fpu.h 17 void fpu_area_save(void *, uint64_t, bool);
  /src/sys/arch/x86/x86/
fpu.c 188 fpu_area_save(area, x86_xsave_features, !(l->l_proc->p_flag & PK_32));
377 fpu_area_save(void *area, uint64_t xsave_features, bool is_64bit) function in typeref:typename:void
440 fpu_area_save(pcb->pcb_savefpu, x86_xsave_features,
  /src/sys/dev/nvmm/x86/
nvmm_x86_svm.c 1439 fpu_area_save(&cpudata->gfpu, svm_xcr0_mask, false);
nvmm_x86_vmx.c 2072 fpu_area_save(&cpudata->gfpu, vmx_xcr0_mask, false);

Completed in 18 milliseconds