/* This function handles EXTI Lines 0 interrupt request.  */
void EXTI0_IRQHandler(void)
/* This function handles EXTI Lines 0 interrupt request.  */
void EXTI0_IRQHandler(void)
{
  if(EXTI_GetITStatus(WAKEUP_BUTTON_EXTI_LINE) != RESET)
  {
    if(index == 0)
    {
      __set_BASEPRI(0x40);
      index++;
    }
    else
    {
      __set_BASEPRI(0x00);
      index = 0;
    }
    EXTI_ClearITPendingBit(WAKEUP_BUTTON_EXTI_LINE);  
  }
}