vmx_control_msr
supported = vmx_control_msr(*lowp, *highp);
u64 vmx_misc = vmx_control_msr(vmcs_config.nested.misc_low,
u64 vmx_ept_vpid_cap = vmx_control_msr(vmcs_config.nested.ept_caps,
*pdata = vmx_control_msr(
*pdata = vmx_control_msr(
*pdata = vmx_control_msr(
*pdata = vmx_control_msr(
*pdata = vmx_control_msr(
*pdata = vmx_control_msr(
u64 vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low,