Searched refs:MSR_IA32_VMX_BASIC (Results 1 – 1 of 1) sorted by relevance
196 #define MSR_IA32_VMX_BASIC 0x0480 macro905 msr = rdmsr(MSR_IA32_VMX_BASIC); in vmx_get_revision()3235 basic = rdmsr(MSR_IA32_VMX_BASIC); in vmx_check_ctls()3265 basic = rdmsr(MSR_IA32_VMX_BASIC); in vmx_init_ctls()3324 msr = rdmsr(MSR_IA32_VMX_BASIC); in vmx_ident()