/* This function handles External line 15_10 interrupt request.  */
void EXTI15_10_IRQHandler(void)
/* This function handles External line 15_10 interrupt request.  */
void EXTI15_10_IRQHandler(void)
{
  *(__IO uint32_t *) 0xA0003000 = 0xFF;
}