/* Reloads IWDG counter with value defined in the reload register (write access to IWDG_PR and IWDG_RLR registers disabled).  */
void IWDG_ReloadCounter(void)
/* Reloads IWDG counter with value defined in the reload register (write access to IWDG_PR and IWDG_RLR registers disabled).  */
void IWDG_ReloadCounter(void)
{
  IWDG->KR = KR_KEY_Reload;
}