Index: kernel/genarch/include/kbrd/kbrd.h
===================================================================
--- kernel/genarch/include/kbrd/kbrd.h	(revision 411b6a6f0339f865eaac5f492f2277fdfbbd5fcc)
+++ kernel/genarch/include/kbrd/kbrd.h	(revision 7012a8d8309f49a86ff67f20f384ac4a5fdb4e9a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch	
+/** @addtogroup genarch
  * @{
  */
@@ -39,7 +39,5 @@
 #include <console/chardev.h>
 
-extern chardev_t kbrdin;
-
-extern void kbrd_init(chardev_t *);
+extern void kbrd_init(indev_t *devin);
 
 #endif