/* Enables the events that can trigger a uDMA request. */
void TimerDMAEventSet(uint32_t ui32Base, uint32_t ui32DMAEvent)
/* Enables the events that can trigger a uDMA request. */
void TimerDMAEventSet(uint32_t ui32Base, uint32_t ui32DMAEvent)
{
    ASSERT(_TimerBaseValid(ui32Base));
    HWREG(ui32Base + TIMER_O_DMAEV) = ui32DMAEvent;
}