/* Returns the interrupt number for a given ADC base address and sequence number. */
static uint_fast8_t _ADCIntNumberGet(uint32_t ui32Base, uint32_t ui32SequenceNum)
/* Returns the interrupt number for a given ADC base address and sequence number. */
static uint_fast8_t _ADCIntNumberGet(uint32_t ui32Base, uint32_t ui32SequenceNum)
{
    uint_fast8_t ui8Int;
    ui8Int = ((ui32Base == ADC0_BASE) ?
              (INT_ADC0SS0 + ui32SequenceNum) :
              (INT_ADC1SS0 + ui32SequenceNum));
    return (ui8Int);
}