Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 6fa9a99d9fa209ffacbdbc40837bf0f435c98e1b)
+++ kernel/generic/include/console/console.h	(revision c773adc11fc1f436e09c4f7464811461965cd937)
@@ -39,4 +39,5 @@
 #include <print.h>
 #include <console/chardev.h>
+#include <synch/spinlock.h>
 
 #define PAGING(counter, increment, before, after) \
@@ -64,4 +65,7 @@
 extern void kio_init(void);
 extern void kio_update(void *);
+extern void kio_flush(void);
+extern void kio_push_char(const wchar_t);
+SPINLOCK_EXTERN(kio_lock);
 
 extern wchar_t getc(indev_t *indev);