diff --git a/src/platforms/px4_micro_hal.h b/src/platforms/px4_micro_hal.h
index 047362188aeff0e39bdeeed5e84a34f882353ab0..0782079d6ab98649001b9a53d6aad2842a72cc28 100644
--- a/src/platforms/px4_micro_hal.h
+++ b/src/platforms/px4_micro_hal.h
@@ -142,7 +142,7 @@ __BEGIN_DECLS
 #    define px4_arch_unconfiggpio(pinset)           stm32_unconfiggpio(pinset)
 #    define px4_arch_gpioread(pinset)               stm32_gpioread(pinset)
 #    define px4_arch_gpiowrite(pinset, value)       stm32_gpiowrite(pinset, value)
-#    define px4_arch_gpiosetevent(pinset,r,f,e,fp)  stm32_gpiosetevent(pinset,r,f, e,fp)
+#    define px4_arch_gpiosetevent(pinset,r,f,e,fp,a)  stm32_gpiosetevent(pinset,r,f,e,fp,a)
 #endif // defined(CONFIG_ARCH_CHIP_STM32) || defined(CONFIG_ARCH_CHIP_STM32F7)
 
 #if defined(CONFIG_ARCH_CHIP_KINETIS)
@@ -213,7 +213,10 @@ __BEGIN_DECLS
 #    define px4_arch_unconfiggpio(pinset)
 #    define px4_arch_gpioread(pinset)               kinetis_gpioread(pinset)
 #    define px4_arch_gpiowrite(pinset, value)       kinetis_gpiowrite(pinset, value)
-#    define px4_arch_gpiosetevent(pinset,r,f,e,fp)  kinetis_gpiosetevent(pinset,r,f, e,fp)
+
+/* kinetis_gpiosetevent is not implemented and will need to be added */
+
+#    define px4_arch_gpiosetevent(pinset,r,f,e,fp,a)  kinetis_gpiosetevent(pinset,r,f,e,fp,a)
 #  endif
 
 #  if defined(CONFIG_ARCH_CHIP_SAMV7)
@@ -275,7 +278,10 @@ __BEGIN_DECLS
 #    define px4_arch_unconfiggpio(pinset)           sam_unconfiggpio(pinset)
 #    define px4_arch_gpioread(pinset)               sam_gpioread(pinset)
 #    define px4_arch_gpiowrite(pinset, value)       sam_gpiowrite(pinset, value)
-#    define px4_arch_gpiosetevent(pinset,r,f,e,fp)  sam_gpiosetevent(pinset,r,f, e,fp)
+
+/* sam_gpiosetevent is not implemented and will need to be added */
+
+#    define px4_arch_gpiosetevent(pinset,r,f,e,fp,a)  sam_gpiosetevent(pinset,r,f,e,a)
 #  endif
 
 #include <arch/board/board.h>