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