VCPU_EXREG_RFLAGS
if (!kvm_register_is_available(vcpu, VCPU_EXREG_RFLAGS)) {
kvm_register_mark_available(vcpu, VCPU_EXREG_RFLAGS);
kvm_register_mark_available(vcpu, VCPU_EXREG_RFLAGS);
(1 << VCPU_EXREG_RFLAGS) | \