/* Reset the timer by placing the timer back into it's default reset configuration.  */
void TimerReset(void)
/* Reset the timer by placing the timer back into it's default reset configuration.  */
void TimerReset(void)
{
  TIMER->tie = 0;
  TIMER->tscr1 = 0;
  TIMER->tscr2 = 0;
  TIMER->tios = 0;
  TIMER->ttov = 0;
  TIMER->tctl1 = 0;
  TIMER->tctl2 = 0;
  TIMER->tctl3 = 0;
  TIMER->tctl4 = 0;
}