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 fa36f294e6a3f5cc4a846e9b33621971e0cc3d07)
@@ -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 *);