LPC32XX_INTC_TYPE
val = lpc32xx_ic_read(ic, LPC32XX_INTC_TYPE);
lpc32xx_ic_write(ic, LPC32XX_INTC_TYPE, val);
lpc32xx_ic_write(irqc, LPC32XX_INTC_TYPE, 0x00);