Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision d9ee2ea421f92b32ff42c28dec0954ca4de779ee)
+++ kernel/arch/ia64/src/mm/page.c	(revision 12d77106be9d0f1eed699d9bb16b4d8fae4b4348)
@@ -39,5 +39,5 @@
 #include <arch/mm/asid.h>
 #include <arch/mm/vhpt.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <print.h>
 #include <mm/page.h>