Lines Matching refs:vmx_control_msr
213 static inline u64 vmx_control_msr(u32 low, u32 high) in vmx_control_msr() function
921 u64 vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low, in nested_vmx_max_atomic_switch_msrs()
1288 supported = vmx_control_msr(*lowp, *highp); in vmx_restore_control_msr()
1313 vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low, in vmx_restore_vmx_misc()
1344 vmx_ept_vpid_cap = vmx_control_msr(vmx->nested.msrs.ept_caps, in vmx_restore_vmx_ept_vpid_cap()
1460 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1468 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1476 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1484 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1491 *pdata = vmx_control_msr( in vmx_get_vmx_msr()
1511 *pdata = vmx_control_msr( in vmx_get_vmx_msr()