Lines Matching refs:MSR_IA32_VMX_CR4_FIXED0
4119 @param ECX MSR_IA32_VMX_CR4_FIXED0 (0x00000488)
4127 Msr = AsmReadMsr64 (MSR_IA32_VMX_CR4_FIXED0);
4129 @note MSR_IA32_VMX_CR4_FIXED0 is defined as IA32_VMX_CR4_FIXED0 in SDM.
4131 #define MSR_IA32_VMX_CR4_FIXED0 0x00000488
