Index: kernel/genarch/include/kbd/i8042.h
===================================================================
--- kernel/genarch/include/kbd/i8042.h	(revision 3f95377042657539cf9cca0cfec68cd3976ef5e0)
+++ kernel/genarch/include/kbd/i8042.h	(revision c852b948487828f2999f9394d236b1369615a759)
@@ -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);
Index: kernel/genarch/src/kbd/i8042.c
===================================================================
--- kernel/genarch/src/kbd/i8042.c	(revision 3f95377042657539cf9cca0cfec68cd3976ef5e0)
+++ kernel/genarch/src/kbd/i8042.c	(revision c852b948487828f2999f9394d236b1369615a759)
@@ -224,21 +224,4 @@
 }
 
-/** Poll for key press and release events.
- *
- * This function can be used to implement keyboard polling.
- */
-void i8042_poll(void)
-{
-	uint8_t x;
-	
-	while (((x = i8042_status_read() & i8042_BUFFER_FULL_MASK))) {
-		x = i8042_data_read();
-		if (x & KEY_RELEASE)
-			key_released(x ^ KEY_RELEASE);
-		else
-			key_pressed(x);
-	}
-}
-
 /** @}
  */