/* this function handles external lines 4 to 15 interrupt request  */
void EXTI4_15_IRQHandler(void)
/* this function handles external lines 4 to 15 interrupt request  */
void EXTI4_15_IRQHandler(void)
{
    if (RESET != exti_interrupt_flag_get(TAMPER_KEY_EXTI_LINE)) {
        gd_eval_ledtoggle(LED2);
        exti_interrupt_flag_clear(TAMPER_KEY_EXTI_LINE);
    }
}