Add possibility to redefine SD detection pin irq handlers at application level (#74)

Add configuration macro to allow interrupt handlers related to SD
detection pin to be deactivated at compile time without changing the
source code.

Description
-----------
The way STM32F4xx and STM32F7xx ports handle interrupts related to SD
detection pin is a bit limiting for 2 reasons:

- the implementation may use a GPIO outside of EXTI10 to 15 range
- the implementation may need GPIOs in EXTI10 to 15 range for other
purpose

The idea here is to give the possibility to a user to handle this
interrupt - if needed - at application level without changing the
library source code. This PR introduces
`ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER` macro.
There is also a modification applied to STM32F4xx and STM32F7xx ports to
surround `HAL_GPIO_EXTI_Callback` and `EXTI15_10_IRQHandler` with this
newly defined macro.

FYI - related to [this discussion on the
forum](https://forums.freertos.org/t/freertos-fat-redefinition-of-irq-handler-in-stm32fx-port/22231/1).

Test Steps
-----------
Integrate the content of this PR in my project to check that functions
can be defined at application level without conflicts.

Checklist:
----------
- [x] I have tested my changes. No regression in existing tests.
- [ ] I have modified and/or added unit-tests to cover the code changes
in this Pull Request.

Related Issue
-----------
https://forums.freertos.org/t/freertos-fat-redefinition-of-irq-handler-in-stm32fx-port/22231/1

By submitting this pull request, I confirm that you can use, modify,
copy, and redistribute this contribution, under the terms of your
choice.

Author: mallenbach

.github/workflows/ci.yml

@@ -10,7 +10,7 @@ on:
 jobs:
   # Currently no unit tests
   formatting:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
       - name: Check Formatting of Files

portable/STM32F4xx/ff_sddisk.c

@@ -82,6 +82,12 @@
     #define sdARRAY_SIZE( x )    ( int ) ( sizeof( x ) / sizeof( x )[ 0 ] )
 #endif
 
+#ifndef ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER
+    /* Set to 0 to remove SD detection interrupt handlers definition. */
+    #define ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER    1
+#endif
+
+
 /*-----------------------------------------------------------*/
 
 /*
@@ -1153,20 +1159,24 @@ static const char * prvSDCodePrintable( uint32_t ulCode )
 #endif /* SDIO_USES_DMA != 0 */
 /*-----------------------------------------------------------*/
 
-void HAL_GPIO_EXTI_Callback( uint16_t GPIO_Pin )
-{
-    BaseType_t xHigherPriorityTaskWoken = pdFALSE;
-
-    if( GPIO_Pin == configSD_DETECT_PIN )
+#if ( ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER != 0 )
+    void HAL_GPIO_EXTI_Callback( uint16_t GPIO_Pin )
     {
-        vApplicationCardDetectChangeHookFromISR( &xHigherPriorityTaskWoken );
-        portYIELD_FROM_ISR( xHigherPriorityTaskWoken );
+        BaseType_t xHigherPriorityTaskWoken = pdFALSE;
+
+        if( GPIO_Pin == configSD_DETECT_PIN )
+        {
+            vApplicationCardDetectChangeHookFromISR( &xHigherPriorityTaskWoken );
+            portYIELD_FROM_ISR( xHigherPriorityTaskWoken );
+        }
     }
-}
+#endif /* ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER != 0*/
 /*-----------------------------------------------------------*/
 
-void EXTI15_10_IRQHandler( void )
-{
-    HAL_GPIO_EXTI_IRQHandler( configSD_DETECT_PIN ); /* GPIO PIN H.13 */
-}
+#if ( ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER != 0 )
+    void EXTI15_10_IRQHandler( void )
+    {
+        HAL_GPIO_EXTI_IRQHandler( configSD_DETECT_PIN ); /* GPIO PIN H.13 */
+    }
+#endif /* ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER != 0*/
 /*-----------------------------------------------------------*/

portable/STM32F7xx/ff_sddisk.c

@@ -94,6 +94,11 @@
     #define sdARRAY_SIZE( x )    ( int ) ( sizeof( x ) / sizeof( x )[ 0 ] )
 #endif
 
+#ifndef ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER
+    /* Set to 0 to remove SD detection interrupt handlers definition. */
+    #define ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER    1
+#endif
+
 #ifdef STM32F7xx
 
     #define SRAM1_MAX_SIZE    ( 368U * 1024U )
@@ -1263,20 +1268,24 @@ static const char * prvSDCodePrintable( uint32_t ulCode )
 #endif /* SDIO_USES_DMA != 0 */
 /*-----------------------------------------------------------*/
 
-void HAL_GPIO_EXTI_Callback( uint16_t GPIO_Pin )
-{
-    BaseType_t xHigherPriorityTaskWoken = pdFALSE;
-
-    if( GPIO_Pin == configSD_DETECT_PIN )
+#if ( ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER != 0 )
+    void HAL_GPIO_EXTI_Callback( uint16_t GPIO_Pin )
     {
-        vApplicationCardDetectChangeHookFromISR( &xHigherPriorityTaskWoken );
-        portYIELD_FROM_ISR( xHigherPriorityTaskWoken );
+        BaseType_t xHigherPriorityTaskWoken = pdFALSE;
+
+        if( GPIO_Pin == configSD_DETECT_PIN )
+        {
+            vApplicationCardDetectChangeHookFromISR( &xHigherPriorityTaskWoken );
+            portYIELD_FROM_ISR( xHigherPriorityTaskWoken );
+        }
     }
-}
+#endif /* ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER != 0*/
 /*-----------------------------------------------------------*/
 
-void EXTI15_10_IRQHandler( void )
-{
-    HAL_GPIO_EXTI_IRQHandler( configSD_DETECT_PIN ); /* GPIO PIN H.13 */
-}
+#if ( ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER != 0 )
+    void EXTI15_10_IRQHandler( void )
+    {
+        HAL_GPIO_EXTI_IRQHandler( configSD_DETECT_PIN ); /* GPIO PIN H.13 */
+    }
+#endif /* ffconfigSDIO_DRIVER_DEFINES_SD_DETECTION_INTERRUPT_HANDLER != 0*/
 /*-----------------------------------------------------------*/