Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision 76ca3f71d74c1d5be0fae6bcc28f1f663a624ea2)
@@ -37,5 +37,5 @@
  */
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <time/clock.h>
 #include <time/delay.h>
Index: kernel/arch/ia32/src/drivers/i8259.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8259.c	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ia32/src/drivers/i8259.c	(revision 76ca3f71d74c1d5be0fae6bcc28f1f663a624ea2)
@@ -39,5 +39,5 @@
 #include <arch/drivers/i8259.h>
 #include <cpu.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/asm.h>
 #include <arch.h>
Index: kernel/arch/ia32/src/drivers/vesa.c
===================================================================
--- kernel/arch/ia32/src/drivers/vesa.c	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ia32/src/drivers/vesa.c	(revision 76ca3f71d74c1d5be0fae6bcc28f1f663a624ea2)
@@ -49,5 +49,5 @@
 #include <synch/spinlock.h>
 #include <arch/asm.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <memstr.h>
 #include <bitops.h>