Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision ee06f2a049baaea0e4c9fc693e7c3c34f3105202)
+++ kernel/generic/src/ipc/irq.c	(revision dc22844fb0d5ea9ccfad3f1097a7bf38da0c0ef9)
@@ -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: