/* Stops the counter of a timer operating in basic time base mode.  */
void HRTIM_SimpleBaseStop(HRTIM_TypeDef *HRTIMx, uint32_t TimerIdx)
/* Stops the counter of a timer operating in basic time base mode.  */
void HRTIM_SimpleBaseStop(HRTIM_TypeDef *HRTIMx, uint32_t TimerIdx)
{
  assert_param(IS_HRTIM_TIMERINDEX(TimerIdx));
  __HRTIM_DISABLE(HRTIMx, TimerIdxToTimerId[TimerIdx]);
}