Lines Matching refs:vmx_control_msr
215 static inline u64 vmx_control_msr(u32 low, u32 high) in vmx_control_msr() function
892 u64 vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low, in nested_vmx_max_atomic_switch_msrs()
1271 supported = vmx_control_msr(*lowp, *highp); in vmx_restore_control_msr()
1295 u64 vmx_misc = vmx_control_msr(vmcs_config.nested.misc_low, in vmx_restore_vmx_misc()
1324 u64 vmx_ept_vpid_cap = vmx_control_msr(vmcs_config.nested.ept_caps, in vmx_restore_vmx_ept_vpid_cap()
1441 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1449 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1457 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1465 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1472 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1492 *pdata = vmx_control_msr( in vmx_get_vmx_msr()