/* Initializes the timer peripheral registers to their default reset values.  */
void TMR_DeInit(TMR_Type *TMRx)
/* Initializes the timer peripheral registers to their default reset values.  */
void TMR_DeInit(TMR_Type *TMRx)
{
  assert_parameters(IS_TMR_ALL_INSTANCE(TMRx));
  TMRx->CTRL &= ~TMR_CTRL_EN;
  TMRx->INTSTS = TMR_INTSTS_INTSTS;
  TMRx->CTRL   = TMR_CTRL_RSTValue;
  TMRx->RELOAD = TMR_RELOAD_RSTValue;
  TMRx->VALUE  =  TMR_VALUE_RSTValue;   
}