ixp2000_reg_write(IXDP2X01_INT_MASK_SET_REG,
ixp2000_reg_wrb(IXDP2X01_INT_MASK_SET_REG,
static void ixdp2x01_irq_mask(unsigned int irq){	ixp2000_reg_write(IXDP2X01_INT_MASK_SET_REG,				IXP2000_BOARD_IRQ_MASK(irq));}