/* Enables the events that can cause an ADC trigger event. */
void TimerADCEventSet(uint32_t ui32Base, uint32_t ui32ADCEvent)
/* Enables the events that can cause an ADC trigger event. */
void TimerADCEventSet(uint32_t ui32Base, uint32_t ui32ADCEvent)
{
    ASSERT(_TimerBaseValid(ui32Base));
    HWREG(ui32Base + TIMER_O_ADCEV) = ui32ADCEvent;
}