[MP1] Fix EXTI GPIO init

Signed-off-by: Frederic Pillon <frederic.pillon@st.com>

Author: fpistm

cores/arduino/stm32/interrupt.cpp

@@ -36,7 +36,9 @@
   ******************************************************************************
   */
 #include "interrupt.h"
-
+#if defined(STM32MP1xx)
+#include "lock_resource.h"
+#endif
 #if !defined(HAL_EXTI_MODULE_DISABLED)
 
 /* Private Types */
@@ -177,8 +179,16 @@ void stm32_interrupt_enable(GPIO_TypeDef *port, uint16_t pin, callback_function_
 
   GPIO_InitStruct.Speed     = GPIO_SPEED_FREQ_HIGH;
 
+#if defined(STM32MP1xx)
+  PERIPH_LOCK(port);
+#endif
+
   HAL_GPIO_Init(port, &GPIO_InitStruct);
 
+#if defined(STM32MP1xx)
+  PERIPH_UNLOCK(port);
+#endif
+
   gpio_irq_conf[id].callback = callback;
 
   // Enable and set EXTI Interrupt

cores/arduino/stm32/lock_resource.h

@@ -23,6 +23,9 @@
 /* Includes ------------------------------------------------------------------*/
 #include "stm32_def.h"
 
+#ifdef __cplusplus
+extern "C" {
+#endif
 
 /* Exported types ------------------------------------------------------------*/
 typedef enum {
@@ -42,8 +45,9 @@ typedef enum {
 LockResource_Status_t Periph_Lock(void *Peripheral, uint32_t Timeout);
 void Periph_Unlock(void *Peripheral);
 
-
-
+#ifdef __cplusplus
+} // extern "C"
+#endif
 
 #endif /* _LOCK_RESOURCE_H */