Symbol: LPC32XX_ADC_CHANNEL