rvi              3034 arch/x86/kvm/vmx/nested.c 	u8 rvi = vmx_get_rvi();
rvi              3037 arch/x86/kvm/vmx/nested.c 	return ((rvi & 0xf0) > (vppr & 0xf0));
rvi              3745 arch/x86/kvm/vmx/vmx.c 	int rvi;
rvi              3752 arch/x86/kvm/vmx/vmx.c 	rvi = vmx_get_rvi();
rvi              3757 arch/x86/kvm/vmx/vmx.c 	return ((rvi & 0xf0) > (vppr & 0xf0));