Searched refs:MSR_IA32_VMX_BASIC (Results 1 – 1 of 1) sorted by relevance
192 #define MSR_IA32_VMX_BASIC 0x0480 macro914 msr = rdmsr(MSR_IA32_VMX_BASIC); in vmx_get_revision()3262 basic = rdmsr(MSR_IA32_VMX_BASIC); in vmx_check_ctls()3292 basic = rdmsr(MSR_IA32_VMX_BASIC); in vmx_init_ctls()3353 msr = rdmsr(MSR_IA32_VMX_BASIC); in vmx_ident()