Lines Matching refs:vmx_control_msr
214 static inline u64 vmx_control_msr(u32 low, u32 high) in vmx_control_msr() function
878 u64 vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low, in nested_vmx_max_atomic_switch_msrs()
1248 supported = vmx_control_msr(*lowp, *highp); in vmx_restore_control_msr()
1272 u64 vmx_misc = vmx_control_msr(vmcs_config.nested.misc_low, in vmx_restore_vmx_misc()
1301 u64 vmx_ept_vpid_cap = vmx_control_msr(vmcs_config.nested.ept_caps, in vmx_restore_vmx_ept_vpid_cap()
1418 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1426 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1434 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1442 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1449 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1469 *pdata = vmx_control_msr( in vmx_get_vmx_msr()