diff --git a/arch/arm/mmu.c b/arch/arm/mmu.c
index 2027b41..d50c43a 100644
--- a/arch/arm/mmu.c
+++ b/arch/arm/mmu.c
@@ -27,6 +27,7 @@
 #include <arch/arm.h>
 #include <arch/defines.h>
 #include <arch/arm/mmu.h>
+#include <platform.h>
 
 #if ARM_WITH_MMU