diff --git a/src/system/kernel/arch/ppc/arch_vm.cpp b/src/system/kernel/arch/ppc/arch_vm.cpp
index 14f48cc7ac..a1c6469a87 100644
--- a/src/system/kernel/arch/ppc/arch_vm.cpp
+++ b/src/system/kernel/arch/ppc/arch_vm.cpp
@@ -11,6 +11,7 @@
 #include <kernel.h>
 #include <boot/kernel_args.h>
 
+#include <vm.h>
 #include <arch/vm.h>
 #include <arch_mmu.h>