lpc23xx has a 10 bit ADC with up to 8 channels. The ADC should be clocked at 4.5 MHz or less, so it uses (72MHz CCLK / 8) / 2.
Benjamin Valentin