/* Deinitializes the EXTI peripheral registers to their default reset values.  */
void EXTI_DeInit(void)
/* Deinitializes the EXTI peripheral registers to their default reset values.  */
void EXTI_DeInit(void)
{
  EXTI->IMR = 0x0F940000;
  EXTI->EMR = 0x00000000;
  EXTI->RTSR = 0x00000000;
  EXTI->FTSR = 0x00000000;
  EXTI->PR = 0x006BFFFF;
}