VCPU_EXREG_RFLAGS 1408 arch/x86/kvm/vmx/vmx.c 	if (!test_bit(VCPU_EXREG_RFLAGS, (ulong *)&vcpu->arch.regs_avail)) {
VCPU_EXREG_RFLAGS 1409 arch/x86/kvm/vmx/vmx.c 		__set_bit(VCPU_EXREG_RFLAGS, (ulong *)&vcpu->arch.regs_avail);
VCPU_EXREG_RFLAGS 1425 arch/x86/kvm/vmx/vmx.c 	__set_bit(VCPU_EXREG_RFLAGS, (ulong *)&vcpu->arch.regs_avail);
VCPU_EXREG_RFLAGS 6613 arch/x86/kvm/vmx/vmx.c 				  | (1 << VCPU_EXREG_RFLAGS)