Symbol: IXP425_INTR_OFFSET