vmx_control_msr   882 arch/x86/kvm/vmx/nested.c 	u64 vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low,
vmx_control_msr  1117 arch/x86/kvm/vmx/nested.c 	supported = vmx_control_msr(*lowp, *highp);
vmx_control_msr  1142 arch/x86/kvm/vmx/nested.c 	vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low,
vmx_control_msr  1173 arch/x86/kvm/vmx/nested.c 	vmx_ept_vpid_cap = vmx_control_msr(vmx->nested.msrs.ept_caps,
vmx_control_msr  1289 arch/x86/kvm/vmx/nested.c 		*pdata = vmx_control_msr(
vmx_control_msr  1297 arch/x86/kvm/vmx/nested.c 		*pdata = vmx_control_msr(
vmx_control_msr  1305 arch/x86/kvm/vmx/nested.c 		*pdata = vmx_control_msr(
vmx_control_msr  1313 arch/x86/kvm/vmx/nested.c 		*pdata = vmx_control_msr(
vmx_control_msr  1320 arch/x86/kvm/vmx/nested.c 		*pdata = vmx_control_msr(
vmx_control_msr  1340 arch/x86/kvm/vmx/nested.c 		*pdata = vmx_control_msr(