Index: kernel/genarch/include/kbd/i8042.h
===================================================================
--- kernel/genarch/include/kbd/i8042.h	(revision 0f74869b097948cf47305f47d532161682eac285)
+++ kernel/genarch/include/kbd/i8042.h	(revision c1f7f6eaa570166428a8687a4e9c7cd839cd666d)
@@ -36,4 +36,5 @@
 #define KERN_I8042_H_
 
+#include <ddi/irq.h>
 #include <arch/types.h>
 #include <typedefs.h>
@@ -47,8 +48,10 @@
 
 typedef struct i8042_instance {
+	devno_t devno;
+	irq_t irq;
 	i8042_t *i8042;
 } i8042_instance_t;
 
-extern void i8042_init(devno_t kbd_devno, inr_t kbd_inr, devno_t mouse_devno, inr_t mouse_inr);
+extern bool i8042_init(i8042_t *, devno_t, inr_t);
 
 #endif