Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 96e0748d7558e9aeb4c97ff5d520f773c406eeac)
+++ kernel/generic/src/ipc/irq.c	(revision 5c06c1c2c7f8ec08d0fbfca6238ce9e6285ef01c)
@@ -102,8 +102,8 @@
 			break;
 		case CMD_PORT_READ_1:
-			dstval = pio_read_8((long) code->cmds[i].addr);
+			dstval = pio_read_8((ioport8_t *) code->cmds[i].addr);
 			break;
 		case CMD_PORT_WRITE_1:
-			pio_write_8((long) code->cmds[i].addr, code->cmds[i].value);
+			pio_write_8((ioport8_t *) code->cmds[i].addr, code->cmds[i].value);
 			break;
 		default: