Index: uspace/srv/hid/kbd/port/pl050.c
===================================================================
--- uspace/srv/hid/kbd/port/pl050.c	(revision d9fae23532028671526d24c90116318f54d92d29)
+++ uspace/srv/hid/kbd/port/pl050.c	(revision 369a5f8a1a86047b7259dfe2c89e8b6f05751cbb)
@@ -45,6 +45,8 @@
 #include <ddi.h>
 #include <stdio.h>
+#include <errno.h>
 
-#define PL050_STAT_RXFULL (1 << 4)
+#define PL050_STAT_RXFULL  (1 << 4)
+
 static irq_cmd_t pl050_cmds[] = {
 	{
@@ -66,5 +68,5 @@
 	{
 		.cmd = CMD_PIO_READ_8,
-		.addr = NULL,	/* will be patched in run-time */
+		.addr = NULL,  /* Will be patched in run-time */
 		.dstarg = 2
 	},
@@ -83,9 +85,14 @@
 int kbd_port_init(void)
 {
-	if (sysinfo_get_value("kbd.address.status", &pl050_kbd.cmds[0].addr) != EOK)
+	sysarg_t addr;
+	if (sysinfo_get_value("kbd.address.status", &addr) != EOK)
 		return -1;
 	
-	if (sysinfo_get_value("kbd.address.data", &pl050_kbd.cmds[3].addr) != EOK)
+	pl050_kbd.cmds[0].addr = (void *) addr;
+	
+	if (sysinfo_get_value("kbd.address.data", &addr) != EOK)
 		return -1;
+	
+	pl050_kbd.cmds[3].addr = (void *) addr;
 	
 	sysarg_t inr;