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