/* 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)
{
  S32_SysTick->CSR = 0;
  S32_SysTick->RVR = 0;
  S32_SysTick->CVR = 0;
}