/* 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)
{
  IfxStm_resetModule(&MODULE_STM0);
}