Index: kernel/arch/ia64/include/mm/page.h
===================================================================
--- kernel/arch/ia64/include/mm/page.h	(revision 5bda2f3ec5d347e6cd33782ee9f7583f6d3aeda4)
+++ kernel/arch/ia64/include/mm/page.h	(revision 5814ef7188cf75fcd57922f03a3bde3d4c78975f)
@@ -108,5 +108,5 @@
 #include <arch/barrier.h>
 #include <arch/mm/asid.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <debug.h>