Index: uspace/srv/kbd/port/i8042.c
===================================================================
--- uspace/srv/kbd/port/i8042.c	(revision 9701d49a574c992db9dff0fef7dde0e5c856089f)
+++ uspace/srv/kbd/port/i8042.c	(revision 2d11a7d86e751706f4d990ffdbd99edec012e4c8)
@@ -136,6 +136,6 @@
 	
 	/* Enable kbd */
-	i8042_kbd.cmds[0].addr = &((i8042_t *) i8042_kernel)->status;
-	i8042_kbd.cmds[3].addr = &((i8042_t *) i8042_kernel)->data;
+	i8042_kbd.cmds[0].addr = (void *) &((i8042_t *) i8042_kernel)->status;
+	i8042_kbd.cmds[3].addr = (void *) &((i8042_t *) i8042_kernel)->data;
 	ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(), 0, &i8042_kbd);