/* Returns the clock source for the specified timer module. */
uint32_t TimerClockSourceGet(uint32_t ui32Base)
/* Returns the clock source for the specified timer module. */
uint32_t TimerClockSourceGet(uint32_t ui32Base)
{
    ASSERT(_TimerBaseValid(ui32Base));
    return (HWREG(ui32Base + TIMER_O_CC));
}