Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision f9f9a132b6bbf6fb3fbfbc90aa2f576c0bf1b017)
+++ kernel/arch/ia64/src/ia64.c	(revision 691eb5227bb3faa6ab7918931f4c859c75819ec1)
@@ -167,6 +167,5 @@
 	     NULL);
 #else
-	devno_t mouse = device_assign_devno();
-	i8042_init(kbd, IRQ_KBD, mouse, IRQ_MOUSE);
+	(void) i8042_init((i8042_t *)I8042_BASE, kbd, IRQ_KBD);
 #endif
 #endif
@@ -223,10 +222,4 @@
 #ifdef SKI
 	ski_kbd_grab();
-#else
-#ifdef CONFIG_NS16550
-	ns16550_grab();
-#else
-	i8042_grab();
-#endif
 #endif
 }
@@ -239,10 +232,4 @@
 #ifdef SKI
 	ski_kbd_release();
-#else
-#ifdef CONFIG_NS16550
-	ns16550_release();
-#else
-	i8042_release();
-#endif
 #endif
 }