old_rflags       1423 arch/x86/kvm/vmx/vmx.c 	unsigned long old_rflags = vmx_get_rflags(vcpu);
old_rflags       1433 arch/x86/kvm/vmx/vmx.c 	if ((old_rflags ^ to_vmx(vcpu)->rflags) & X86_EFLAGS_VM)