Index: kernel/genarch/include/kbd/i8042.h
===================================================================
--- kernel/genarch/include/kbd/i8042.h	(revision cea12e9203af33ad68db110556123a714b9bc77d)
+++ kernel/genarch/include/kbd/i8042.h	(revision 282f2c9ca4f0625d5823e8a836d38f8d4f100b43)
@@ -38,5 +38,5 @@
 #include <typedefs.h>
 
-extern void i8042_init(devno_t devno, inr_t inr);
+extern void i8042_init(devno_t kbd_devno, inr_t kbd_inr, devno_t mouse_devno, inr_t mouse_inr);
 extern void i8042_poll(void);
 extern void i8042_grab(void);