/* Registers an interrupt handler for an ADC interrupt. */
void ADCIntRegister(unsigned long ulBase, unsigned long ulSequenceNum, void(*pfnHandler)(void))
/* Registers an interrupt handler for an ADC interrupt. */
void ADCIntRegister(unsigned long ulBase, unsigned long ulSequenceNum, void(*pfnHandler)(void))
{
    unsigned long ulInt;
    ASSERT((ulBase == ADC0_BASE) || (ulBase == ADC1_BASE));
    ASSERT(ulSequenceNum < 4);
    ulInt = INT_ADC0 + ulSequenceNum;
    IntRegister(ulInt, pfnHandler);
    IntEnable(ulInt);
}