Index: generic/include/console/chardev.h
===================================================================
--- generic/include/console/chardev.h	(revision 39494010cd29538c76268953cc313e6c622f06d5)
+++ generic/include/console/chardev.h	(revision 93e90c7fda16ce9628a350f5a8c298bfc7831467)
@@ -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__ */