Index: generic/include/console/chardev.h
===================================================================
--- generic/include/console/chardev.h	(revision dc747e33f6f5d74c7d1b7b50fda3b2fabff8fa82)
+++ generic/include/console/chardev.h	(revision 65fb232f572bc21a808b3769b83436d82fe4a950)
@@ -64,5 +64,5 @@
 			       chardev_t *chardev, 
 			       chardev_operations_t *op);
-void chardev_push_character(chardev_t *chardev, __u8 ch);
+extern void chardev_push_character(chardev_t *chardev, __u8 ch);
 
 #endif /* __CHARDEV_H__ */