Index: kernel/genarch/include/drivers/i8042/i8042.h
===================================================================
--- kernel/genarch/include/drivers/i8042/i8042.h	(revision 149d14e522aa5c449b696ad4420f3caa33ca9b8e)
+++ kernel/genarch/include/drivers/i8042/i8042.h	(revision 821cc933bb47a68b3a1cf7ff1f4725d46116f16e)
@@ -50,8 +50,9 @@
 	irq_t irq;
 	i8042_t *i8042;
-	indev_t kbrdin;
+	indev_t *kbrdin;
 } i8042_instance_t;
 
-extern indev_t *i8042_init(i8042_t *, inr_t);
+extern i8042_instance_t *i8042_init(i8042_t *, inr_t);
+extern void i8042_wire(i8042_instance_t *, indev_t *);
 extern void i8042_cpu_reset(i8042_t *);