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