diff --git a/arch/arm/src/stm32/stm32_dumpgpio.c b/arch/arm/src/stm32/stm32_dumpgpio.c
index 7dfef5f85a5..77d49ffa084 100644
--- a/arch/arm/src/stm32/stm32_dumpgpio.c
+++ b/arch/arm/src/stm32/stm32_dumpgpio.c
@@ -42,7 +42,7 @@
 #include <sys/types.h>
 #include <debug.h>
 
-#include <nuttx.h>
+#include <nuttx/irq.h>
 
 #include "up_arch.h"
 #include "chip.h"