Searched refs:MSR_IA32_VMX_CR4_FIXED0 (Results 1 – 1 of 1) sorted by relevance
216 #define MSR_IA32_VMX_CR4_FIXED0 0x0488 macro3372 vmx_cr4_fixed0 = rdmsr(MSR_IA32_VMX_CR4_FIXED0); in vmx_ident()