Index: kernel/genarch/include/kbrd/kbrd.h
===================================================================
--- kernel/genarch/include/kbrd/kbrd.h	(revision 411b6a6f0339f865eaac5f492f2277fdfbbd5fcc)
+++ kernel/genarch/include/kbrd/kbrd.h	(revision 4a26e39bc1a5a960a80381b8559a9632bfb86bb7)
@@ -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