/*----------------- INTERRUPT SERVICE ROUTINES --------------------------*/
/*********************************************************************//**
 * @brief       SysTick interrupt handler
 * @param       None
 * @return      None
 ***********************************************************************/
 void SysTick_Handler (void) 
    __attribute__((section ("EnabledINT")));


void SysTick_Handler(void)
{
    //Clear System Tick counter flag
    SYSTICK_ClearCounterFlag();

    //toggle GPIO pin
 //   GPIO_OutputValue(PIO_PORT_USED, PIO_PIN_VALUE, Cur_State);
  //  Cur_State = (Cur_State == ENABLE) ? DISABLE:ENABLE;
}