X86_FEATURE_FXSR_OPT
{ X86_FEATURE_FXSR_OPT, X86_FEATURE_FXSR },
if (boot_cpu_has(X86_FEATURE_FXSR_OPT))
if (efer & EFER_FFXSR && !guest_cpu_cap_has(vcpu, X86_FEATURE_FXSR_OPT))