Symbol: MSR_IA32_VMX_VMCS_ENUM