Symbol: IXP425_INT_ENABLE