Index: generic/include/console/chardev.h
===================================================================
--- generic/include/console/chardev.h	(revision 80bff3426b0c5ce4e21f4e7f42a392db6cfc0d9a)
+++ generic/include/console/chardev.h	(revision 6ccb238220c1ca84a697613c12cce0a2bbc32590)
@@ -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__ */