lpc32xx_ic_write
lpc32xx_ic_write(ic, LPC32XX_INTC_POL, val);
lpc32xx_ic_write(ic, LPC32XX_INTC_TYPE, val);
lpc32xx_ic_write(irqc, LPC32XX_INTC_MASK, 0x00);
lpc32xx_ic_write(irqc, LPC32XX_INTC_POL, 0x00);
lpc32xx_ic_write(irqc, LPC32XX_INTC_TYPE, 0x00);
lpc32xx_ic_write(ic, LPC32XX_INTC_MASK, val);
lpc32xx_ic_write(ic, LPC32XX_INTC_MASK, val);
lpc32xx_ic_write(ic, LPC32XX_INTC_RAW, mask);