Symbol: IXP425_MCU_VBASE