Symbol: MSR_IA32_VMX_BASIC