if (best && (best->eax & (F(XSAVES) | F(XSAVEC))))
                best->ebx = xstate_required_size(vcpu->arch.xcr0, true);
  
 -      vcpu->arch.eager_fpu = guest_cpuid_has_mpx(vcpu);
++      vcpu->arch.eager_fpu = use_eager_fpu() || guest_cpuid_has_mpx(vcpu);
+ 
        /*
         * The existing code assumes virtual address is 48-bit in the canonical
         * address checks; exit if it is ever changed.
 
        fpu_save_init(&vcpu->arch.guest_fpu);
        __kernel_fpu_end();
        ++vcpu->stat.fpu_reload;
 -      if (!vcpu->arch.eager_fpu)
 -              kvm_make_request(KVM_REQ_DEACTIVATE_FPU, vcpu);
 -
 +      /*
 +       * If using eager FPU mode, or if the guest is a frequent user
 +       * of the FPU, just leave the FPU active for next time.
 +       * Every 255 times fpu_counter rolls over to 0; a guest that uses
 +       * the FPU in bursts will revert to loading it on demand.
 +       */
-       if (!use_eager_fpu()) {
++      if (!vcpu->arch.eager_fpu) {
 +              if (++vcpu->fpu_counter < 5)
 +                      kvm_make_request(KVM_REQ_DEACTIVATE_FPU, vcpu);
 +      }
        trace_kvm_fpu(0);
  }