Add timer for GYRO_CLKIN

Author: haslinghuis

configs/AIRBRAINH743/config.h

@@ -88,16 +88,17 @@
 
 
 #define TIMER_PIN_MAPPING \
-    TIMER_PIN_MAP(0, PE9, 1, 0) \
-    TIMER_PIN_MAP(1, PE11, 1, 1) \
-    TIMER_PIN_MAP(2, PE13, 1, 2) \
-    TIMER_PIN_MAP(3, PE14, 1, 3) \
-    TIMER_PIN_MAP(4, PB0, 2, 4) \
-    TIMER_PIN_MAP(5, PB1, 2, 5) \
-    TIMER_PIN_MAP(6, PB10, 1, 6) \
-    TIMER_PIN_MAP(7, PB11, 1, 7) \
-    TIMER_PIN_MAP(8, PA2, 2, 8) \
-    TIMER_PIN_MAP(9, PC7, 2, -1)
+    TIMER_PIN_MAP( 0, PE9, 1, 0) \
+    TIMER_PIN_MAP( 1, PE11, 1, 1) \
+    TIMER_PIN_MAP( 2, PE13, 1, 2) \
+    TIMER_PIN_MAP( 3, PE14, 1, 3) \
+    TIMER_PIN_MAP( 4, PB0, 2, 4) \
+    TIMER_PIN_MAP( 5, PB1, 2, 5) \
+    TIMER_PIN_MAP( 6, PB10, 1, 6) \
+    TIMER_PIN_MAP( 7, PB11, 1, 7) \
+    TIMER_PIN_MAP( 8, PA2, 2, 8) \
+    TIMER_PIN_MAP( 9, PC7, 2, -1) \
+    TIMER_PIN_MAP(10, PA3, 3, -1)
 
 #define ADC1_DMA_OPT 9
 #define ADC2_DMA_OPT 10