/* Gets interrupt status for the specified ADC module. */
uint32_t ADCIntStatusEx(uint32_t ui32Base, bool bMasked)
/* Gets interrupt status for the specified ADC module. */
uint32_t ADCIntStatusEx(uint32_t ui32Base, bool bMasked)
{
    uint32_t ui32Temp;
    ASSERT((ui32Base == ADC0_BASE) || (ui32Base == ADC1_BASE));
    if(bMasked)
    {
        ui32Temp = HWREG(ui32Base + ADC_O_ISC);
    }
    else
    {
        ui32Temp = HWREG(ui32Base + ADC_O_RIS);
        if(ui32Temp & ADC_RIS_INRDC)
        {
            ui32Temp |= (ADC_INT_DCON_SS3 | ADC_INT_DCON_SS2 |
                         ADC_INT_DCON_SS1 | ADC_INT_DCON_SS0);
        }
    }
    return(ui32Temp);
}