Symbol: IA32_VMX_BASIC_IDENT