Searched refs:MSR_IA32_VMX_BASIC (Results 1 – 2 of 2) sorted by relevance
151 specs->vmcs_id = rdmsr_mask(MSR_IA32_VMX_BASIC, VMX_VCR_VMCS_REV_ID); in vmx_cpu_init()413 CHK(MSR_IA32_VMX_BASIC, 0, VMX_BASIC_TRUE_CTLS) in vmx_hv_support()
721 #define MSR_IA32_VMX_BASIC MSR_IA32_VMX_BASE macro