Index: kernel/arch/ia64/include/mm/asid.h
===================================================================
--- kernel/arch/ia64/include/mm/asid.h	(revision d9ee2ea421f92b32ff42c28dec0954ca4de779ee)
+++ kernel/arch/ia64/include/mm/asid.h	(revision 5814ef7188cf75fcd57922f03a3bde3d4c78975f)
@@ -38,5 +38,5 @@
 #ifndef __ASM__
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 typedef uint16_t asid_t;
Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision d9ee2ea421f92b32ff42c28dec0954ca4de779ee)
+++ kernel/arch/ia64/include/mm/frame.h	(revision 5814ef7188cf75fcd57922f03a3bde3d4c78975f)
@@ -42,5 +42,5 @@
 #ifndef __ASM__
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 extern uintptr_t last_frame;
Index: kernel/arch/ia64/include/mm/page.h
===================================================================
--- kernel/arch/ia64/include/mm/page.h	(revision d9ee2ea421f92b32ff42c28dec0954ca4de779ee)
+++ 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>
 
Index: kernel/arch/ia64/include/mm/tlb.h
===================================================================
--- kernel/arch/ia64/include/mm/tlb.h	(revision d9ee2ea421f92b32ff42c28dec0954ca4de779ee)
+++ kernel/arch/ia64/include/mm/tlb.h	(revision 5814ef7188cf75fcd57922f03a3bde3d4c78975f)
@@ -39,5 +39,5 @@
 #include <arch/mm/asid.h>
 #include <arch/interrupt.h>
-#include <arch/types.h>
+#include <typedefs.h>
 
 /** Data and instruction Translation Register indices. */