Symbol: IXP425_IRQ_VBASE