diff --git a/boards/arm/stm32/stm32f4discovery/src/stm32_gs2200m.c b/boards/arm/stm32/stm32f4discovery/src/stm32_gs2200m.c
index 38b626ffcfc..ba201e4df30 100644
--- a/boards/arm/stm32/stm32f4discovery/src/stm32_gs2200m.c
+++ b/boards/arm/stm32/stm32f4discovery/src/stm32_gs2200m.c
@@ -39,6 +39,7 @@
  ****************************************************************************/
 
 #include <debug.h>
+#include <inttypes.h>
 
 #include <nuttx/arch.h>
 #include <nuttx/config.h>
@@ -121,7 +122,8 @@ static void gs2200m_irq_enable(void)
   irqstate_t flags = spin_lock_irqsave();
   uint32_t dready = 0;
 
-  wlinfo("== ec:%d called=%d \n", _enable_count, _n_called++);
+  wlinfo("== ec:%" PRId32 " called=%" PRId32 " \n",
+         _enable_count, _n_called++);
 
   if (0 == _enable_count)
     {
@@ -156,7 +158,8 @@ static void gs2200m_irq_disable(void)
 {
   irqstate_t flags = spin_lock_irqsave();
 
-  wlinfo("== ec:%d called=%d \n", _enable_count, _n_called++);
+  wlinfo("== ec:%" PRId32 " called=%" PRId32 " \n",
+         _enable_count, _n_called++);
 
   _enable_count--;