arch/x86/kvm/vmx/nested.c

1368

supported = vmx_control_msr(*lowp, *highp);

arch/x86/kvm/vmx/nested.c

1398

u64 vmx_misc = vmx_control_msr(vmcs_config.nested.misc_low,

arch/x86/kvm/vmx/nested.c

1434

u64 vmx_ept_vpid_cap = vmx_control_msr(vmcs_config.nested.ept_caps,

arch/x86/kvm/vmx/nested.c

1551

*pdata = vmx_control_msr(

arch/x86/kvm/vmx/nested.c

1559

*pdata = vmx_control_msr(

arch/x86/kvm/vmx/nested.c

1567

*pdata = vmx_control_msr(

arch/x86/kvm/vmx/nested.c

1575

*pdata = vmx_control_msr(

arch/x86/kvm/vmx/nested.c

1582

*pdata = vmx_control_msr(

arch/x86/kvm/vmx/nested.c

1602

*pdata = vmx_control_msr(

arch/x86/kvm/vmx/nested.c

895

u64 vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low,