diff --git a/arch/arm/src/armv7-a/arm_addrenv.c b/arch/arm/src/armv7-a/arm_addrenv.c
index 742d08e344..65a3308bea 100644
--- a/arch/arm/src/armv7-a/arm_addrenv.c
+++ b/arch/arm/src/armv7-a/arm_addrenv.c
@@ -117,7 +117,7 @@
 #include <nuttx/pgalloc.h>
 #include <arch/irq.h>
 
-#include "pginline.h"
+#include "pgalloc.h"
 #include "cache.h"
 #include "mmu.h"
 #include "addrenv.h"
diff --git a/arch/arm/src/armv7-a/arm_addrenv_utils.c b/arch/arm/src/armv7-a/arm_addrenv_utils.c
index 1cf6c41f99..fbcdaa70c3 100644
--- a/arch/arm/src/armv7-a/arm_addrenv_utils.c
+++ b/arch/arm/src/armv7-a/arm_addrenv_utils.c
@@ -48,7 +48,7 @@
 
 #include "cache.h"
 #include "mmu.h"
-#include "pginline.h"
+#include "pgalloc.h"
 #include "addrenv.h"
 
 #ifdef CONFIG_ARCH_ADDRENV