/* This function handles External interrupt Line 0 request.  */
void EXTI0_IRQHandler(void)
/* This function handles External interrupt Line 0 request.  */
void EXTI0_IRQHandler(void)
{
  SCB->ICSR |= 0x04000000;
  EXTI_ClearITPendingBit(WAKEUP_BUTTON_EXTI_LINE);
}