/* This function handles External line 10..15 interrupt request.  */
void EXTI15_10_IRQHandler(void)
/* This function handles External line 10..15 interrupt request.  */
void EXTI15_10_IRQHandler(void)
{
   HAL_GPIO_EXTI_IRQHandler(SD_DETECT_PIN);
}