/* Sets the clock source for the specified timer module. */
void TimerClockSourceSet(uint32_t ui32Base, uint32_t ui32Source)
/* Sets the clock source for the specified timer module. */
void TimerClockSourceSet(uint32_t ui32Base, uint32_t ui32Source)
{
    ASSERT(_TimerBaseValid(ui32Base));
    ASSERT((ui32Source == TIMER_CLOCK_SYSTEM) ||
           (ui32Source == TIMER_CLOCK_PIOSC));
    HWREG(ui32Base + TIMER_O_CC) = ui32Source;
}