Symbol: VMX_INSTRUCTION_INFO