Index: kernel/genarch/include/drivers/i8042/i8042.h
===================================================================
--- kernel/genarch/include/drivers/i8042/i8042.h	(revision 3c79afe6675938ba3639db7d31f8a682457f7203)
+++ kernel/genarch/include/drivers/i8042/i8042.h	(revision dc033a109f5ba532e236382c55cb83e342bdfe06)
@@ -48,5 +48,4 @@
 
 typedef struct {
-	devno_t devno;
 	irq_t irq;
 	i8042_t *i8042;
@@ -54,5 +53,5 @@
 } i8042_instance_t;
 
-extern indev_t *i8042_init(i8042_t *, devno_t, inr_t);
+extern indev_t *i8042_init(i8042_t *, inr_t);
 
 #endif