/* 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)
{
  SysTick->CTRL = 0UL;
  SysTick->LOAD = 0UL;
  SysTick->VAL = 0UL;
}