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