Index: kernel/arch/ia32/include/drivers/ega.h
===================================================================
--- kernel/arch/ia32/include/drivers/ega.h	(revision 7d60cf59c22009459162657970aeff4fb02727ed)
+++ kernel/arch/ia32/include/drivers/ega.h	(revision 5cb223fc45a97511d5661289ec56529d021ec8f6)
@@ -37,5 +37,5 @@
 
 #define EGA_VIDEORAM 	0xb8000
-#define EGA_BASE	0x3d4
+#define EGA_BASE	((ioport8_t *)0x3d4)
 
 #endif
Index: kernel/arch/ia32/include/drivers/i8259.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8259.h	(revision 7d60cf59c22009459162657970aeff4fb02727ed)
+++ kernel/arch/ia32/include/drivers/i8259.h	(revision 5cb223fc45a97511d5661289ec56529d021ec8f6)
@@ -39,8 +39,8 @@
 #include <arch/interrupt.h>
 
-#define PIC_PIC0PORT1	0x20
-#define PIC_PIC0PORT2	0x21
-#define PIC_PIC1PORT1	0xa0
-#define PIC_PIC1PORT2	0xa1
+#define PIC_PIC0PORT1	((ioport8_t *) 0x20)
+#define PIC_PIC0PORT2	((ioport8_t *) 0x21)
+#define PIC_PIC1PORT1	((ioport8_t *) 0xa0)
+#define PIC_PIC1PORT2	((ioport8_t *) 0xa1)
 
 #define PIC_NEEDICW4	(1<<0)
Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision 7d60cf59c22009459162657970aeff4fb02727ed)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision 5cb223fc45a97511d5661289ec56529d021ec8f6)
@@ -54,6 +54,6 @@
 #include <ddi/device.h>
 
-#define CLK_PORT1	0x40
-#define CLK_PORT4	0x43
+#define CLK_PORT1	((ioport8_t *)0x40)
+#define CLK_PORT4	((ioport8_t *)0x43)
 
 #define CLK_CONST	1193180
Index: kernel/arch/ia32/src/drivers/i8259.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8259.c	(revision 7d60cf59c22009459162657970aeff4fb02727ed)
+++ kernel/arch/ia32/src/drivers/i8259.c	(revision 5cb223fc45a97511d5661289ec56529d021ec8f6)
@@ -120,6 +120,6 @@
 void pic_eoi(void)
 {
-	pio_write_8(0x20, 0x20);
-	pio_write_8(0xa0, 0x20);
+	pio_write_8((ioport8_t *)0x20, 0x20);
+	pio_write_8((ioport8_t *)0xa0, 0x20);
 }
 
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 7d60cf59c22009459162657970aeff4fb02727ed)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 5cb223fc45a97511d5661289ec56529d021ec8f6)
@@ -123,6 +123,6 @@
 	 * BIOS will not do the POST after the INIT signal.
 	 */
-	pio_write_8(0x70, 0xf);
-	pio_write_8(0x71, 0xa);
+	pio_write_8((ioport8_t *)0x70, 0xf);
+	pio_write_8((ioport8_t *)0x71, 0xa);
 
 	pic_disable_irqs(0xffff);