Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 5fe5f1e32929f169590b1157e7ea82b24585e0f0)
+++ generic/src/main/main.c	(revision 0c0410bc99b71dff6df02ea3c82169ebbe228b12)
@@ -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>