Index: kernel/arch/ia32/include/mm/page.h
===================================================================
--- kernel/arch/ia32/include/mm/page.h	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/ia32/include/mm/page.h	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
@@ -129,4 +129,6 @@
 #include <mm/mm.h>
 #include <arch/interrupt.h>
+#include <arch/types.h>
+#include <typedefs.h>
 
 /* Page fault error codes. */