Index: kernel/genarch/include/kbd/i8042.h
===================================================================
--- kernel/genarch/include/kbd/i8042.h	(revision 17f168ea0a58301762156920e112c588faa90d23)
+++ kernel/genarch/include/kbd/i8042.h	(revision 4b44099d821552a64452274b994f2cf5cb8adbaf)
@@ -40,5 +40,4 @@
 
 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);
 extern void i8042_release(void);