Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision 6cd9aa607e6515e17e369c7e888779416251db4d)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision 70554dddbb6288c84c93b2b9a9b684e7df443f3e)
@@ -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 6cd9aa607e6515e17e369c7e888779416251db4d)
+++ kernel/arch/ia32/src/drivers/i8259.c	(revision 70554dddbb6288c84c93b2b9a9b684e7df443f3e)
@@ -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);
 }