diff --git a/arch/arm/src/armv7-a/arm_pgalloc.c b/arch/arm/src/armv7-a/arm_pgalloc.c
index 3235cda2594..673af5834a0 100644
--- a/arch/arm/src/armv7-a/arm_pgalloc.c
+++ b/arch/arm/src/armv7-a/arm_pgalloc.c
@@ -49,7 +49,7 @@
 
 #include "cache.h"
 #include "mmu.h"
-#include "pginline.h"
+#include "pgalloc.h"
 
 #if defined(CONFIG_MM_PGALLOC) && defined(CONFIG_ARCH_USE_MMU)