Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision 80dabb8d5cd8827e3f43939b3ce35fcce1382a99)
+++ kernel/generic/src/mm/page.c	(revision 672b22e998fe4b44c45775aa265ee54ebdcc43dc)
@@ -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>