/* Unregisters the interrupt handler for an ADC interrupt. */
void ADCIntUnregister(unsigned long ulBase, unsigned long ulSequenceNum)
/* Unregisters the interrupt handler for an ADC interrupt. */
void ADCIntUnregister(unsigned long ulBase, unsigned long ulSequenceNum)
{
    unsigned long ulInt;
    ASSERT((ulBase == ADC0_BASE) || (ulBase == ADC1_BASE));
    ASSERT(ulSequenceNum < 4);
    ulInt = INT_ADC0 + ulSequenceNum;
    IntDisable(ulInt);
    IntUnregister(ulInt);
}