Index: kernel/arch/ia32/include/mm/asid.h
===================================================================
--- kernel/arch/ia32/include/mm/asid.h	(revision 0eef3143969faec45ee815231ae23320d7dcbd88)
+++ kernel/arch/ia32/include/mm/asid.h	(revision 40e29f553aea9e5cb7767d11ec6b9ee0d22d0d16)
@@ -43,5 +43,5 @@
 #define KERN_ia32_ASID_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 typedef int32_t asid_t;
Index: kernel/arch/ia32/include/mm/frame.h
===================================================================
--- kernel/arch/ia32/include/mm/frame.h	(revision 0eef3143969faec45ee815231ae23320d7dcbd88)
+++ kernel/arch/ia32/include/mm/frame.h	(revision 40e29f553aea9e5cb7767d11ec6b9ee0d22d0d16)
@@ -42,5 +42,5 @@
 #ifndef __ASM__
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 extern uintptr_t last_frame;
Index: kernel/arch/ia32/include/mm/page.h
===================================================================
--- kernel/arch/ia32/include/mm/page.h	(revision 0eef3143969faec45ee815231ae23320d7dcbd88)
+++ kernel/arch/ia32/include/mm/page.h	(revision 40e29f553aea9e5cb7767d11ec6b9ee0d22d0d16)
@@ -127,5 +127,4 @@
 #include <mm/mm.h>
 #include <arch/interrupt.h>
-#include <arch/types.h>
 #include <typedefs.h>