/* IWDG reset Watchdog Timer. 
The watchdog timer is reset. The counter restarts from the value in the reload register.  */
void iwdg_reset(void)
/* IWDG reset Watchdog Timer. 
The watchdog timer is reset. The counter restarts from the value in the reload register.  */
void iwdg_reset(void)
{
	IWDG_KR = IWDG_KR_RESET;
}
/**@}