/* Registers an interrupt handler for an ADC interrupt. */
void ADCIntRegister(uint32_t ui32Base, uint32_t ui32SequenceNum, void(*pfnHandler)(void))
/* Registers an interrupt handler for an ADC interrupt. */
void ADCIntRegister(uint32_t ui32Base, uint32_t ui32SequenceNum, void(*pfnHandler)(void))
{
    uint_fast8_t ui8Int;
    ASSERT((ui32Base == ADC0_BASE) || (ui32Base == ADC1_BASE));
    ASSERT(ui32SequenceNum < 4);
    ui8Int = ((ui32Base == ADC0_BASE) ?
              (INT_ADC0SS0_BLIZZARD + ui32SequenceNum) :
              (INT_ADC1SS0_BLIZZARD + ui32SequenceNum));
    IntRegister(ui8Int, pfnHandler);
    IntEnable(ui8Int);
}