Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 9688513053f7f16516b100b89f79fae37a7695b5)
+++ kernel/arch/amd64/src/amd64.c	(revision 5f0f29ce3c25993ee100bdb9354b66dc6b762ae7)
@@ -175,5 +175,6 @@
 {
 	/* keyboard controller */
-	i8042_init(device_assign_devno(), IRQ_KBD, device_assign_devno(), IRQ_MOUSE);
+	(void) i8042_init((i8042_t *) I8042_BASE, device_assign_devno(),
+	    IRQ_KBD);
 }