Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 5fe5f1e32929f169590b1157e7ea82b24585e0f0)
+++ generic/src/main/main.c	(revision 8725fb4944fbd47ca21c696b0408dc6f7f8ce7bc)
@@ -47,4 +47,5 @@
 #include <mm/frame.h>
 #include <mm/page.h>
+#include <genarch/mm/page_pt.h>
 #include <mm/tlb.h>
 #include <mm/vm.h>