Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 9688513053f7f16516b100b89f79fae37a7695b5)
+++ kernel/arch/amd64/src/amd64.c	(revision 691eb5227bb3faa6ab7918931f4c859c75819ec1)
@@ -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);
 }