Symbol: LPC32XX_INTC_STAT