/* Configures external clock mode of the GPTM. Used ITIx as the clock source.  */
void TimerITIExtClkConfigure(unsigned long ulBase, unsigned long ulTriggerSource)
/* Configures external clock mode of the GPTM. Used ITIx as the clock source.  */
void TimerITIExtClkConfigure(unsigned long ulBase, unsigned long ulTriggerSource)
{
    xASSERT((ulBase == TIMER1_BASE) || (ulBase == TIMER0_BASE));
    xASSERT((ulTriggerSource == TIMER_TRSEL_ITI0));
    TimerSTIConfigure(ulBase, ulTriggerSource);
    xHWREG(ulBase + TIMER_MDCFR) |= TIMER_MDCFR_SMSEL_STIED;
}