Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision 80dabb8d5cd8827e3f43939b3ce35fcce1382a99)
+++ kernel/generic/src/mm/page.c	(revision 371bd7d157f6602aa0ac4bd2e639fef084cecb89)
@@ -63,5 +63,5 @@
 #include <mm/frame.h>
 #include <arch/barrier.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/asm.h>
 #include <memstr.h>