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