/* 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)
{
  HWREG(NVIC_ST_CTRL) = 0UL;
  HWREG(NVIC_ST_RELOAD) = 0UL;
  HWREG(NVIC_ST_CURRENT) = 0UL;
}