IXP425_INT_ENABLE
IXPREG(IXP425_INT_ENABLE) = intr_enabled & IXP425_INT_HWMASK;
IXPREG(IXP425_INT_ENABLE) = 0;