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