vmx_get_rvi      3034 arch/x86/kvm/vmx/nested.c 	u8 rvi = vmx_get_rvi();
vmx_get_rvi      3752 arch/x86/kvm/vmx/vmx.c 	rvi = vmx_get_rvi();