Index: generic/include/console/chardev.h
===================================================================
--- generic/include/console/chardev.h	(revision dc747e33f6f5d74c7d1b7b50fda3b2fabff8fa82)
+++ generic/include/console/chardev.h	(revision 96cacc151c2f49c7146a7f6e2384a276d4f1ffe3)
@@ -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__ */