diff --git a/arch/arm/src/common/arm_allocateheap.c b/arch/arm/src/common/arm_allocateheap.c
index bf501faa6d..f29b028441 100644
--- a/arch/arm/src/common/arm_allocateheap.c
+++ b/arch/arm/src/common/arm_allocateheap.c
@@ -39,6 +39,9 @@
 
 #include "arm_internal.h"
 #include "chip.h"
+#ifdef CONFIG_BUILD_KERNEL
+#include "mmu.h"
+#endif
 
 /****************************************************************************
  * Pre-processor Definitions