Index: generic/src/mm/vm.c
===================================================================
--- generic/src/mm/vm.c	(revision 80d2bdbb59aff7f143abc484128e57a0c2b47e47)
+++ generic/src/mm/vm.c	(revision 1a675955a140a3b614cb1280dfa395e1f3f1a12a)
@@ -33,4 +33,5 @@
 #include <mm/heap.h>
 #include <arch/mm/page.h>
+#include <genarch/mm/page_pt.h>
 #include <arch/mm/asid.h>
 #include <arch/mm/vm.h>