Symbol: x86_save_fpu
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1476
x86_save_fpu(&cpudata->gxsave, svm_xcr0_mask);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2101
x86_save_fpu(&cpudata->gxsave, vmx_xcr0_mask);