Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision 3ad953cc9f7b18ae008470e72a5abd43e4142cbd)
+++ kernel/generic/include/console/chardev.h	(revision 7b187ef6f8a1aeda140487a35c3664962045e88c)
@@ -51,5 +51,5 @@
 	void (* resume)(struct chardev *);
 	/** Write character to stream. */
-	void (* write)(struct chardev *, char c);
+	void (* write)(struct chardev *, char c, bool silent);
 	/** Read character directly from device, assume interrupts disabled. */
 	char (* read)(struct chardev *); 
Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 3ad953cc9f7b18ae008470e72a5abd43e4142cbd)
+++ kernel/generic/include/console/console.h	(revision 7b187ef6f8a1aeda140487a35c3664962045e88c)
@@ -50,4 +50,7 @@
 extern void putchar(char c);
 
+extern void grab_console(void);
+extern void release_console(void);
+
 extern void arch_grab_console(void);
 extern void arch_release_console(void);