diff --git a/arch/arm/src/tiva/tiva_gpioirq.c b/arch/arm/src/tiva/tiva_gpioirq.c
index f7d6c0b152..1a284a2f7a 100644
--- a/arch/arm/src/tiva/tiva_gpioirq.c
+++ b/arch/arm/src/tiva/tiva_gpioirq.c
@@ -48,7 +48,7 @@
 
 #include "up_arch.h"
 #include "os_internal.h"
-#include "irq_internal.h"
+#include "irq/irq.h"
 
 #include "tiva_gpio.h"
 
diff --git a/arch/avr/src/at32uc3/at32uc3_gpioirq.c b/arch/avr/src/at32uc3/at32uc3_gpioirq.c
index d0442babcc..38dc93132d 100644
--- a/arch/avr/src/at32uc3/at32uc3_gpioirq.c
+++ b/arch/avr/src/at32uc3/at32uc3_gpioirq.c
@@ -51,7 +51,7 @@
 
 #include "up_arch.h"
 #include "os_internal.h"
-#include "irq_internal.h"
+#include "irq/irq.h"
 #include "at32uc3_internal.h"
 #include "at32uc3_gpio.h"