Index: generic/include/console/console.h
===================================================================
--- generic/include/console/console.h	(revision 5c9a08b46f360925ecb95360eb2b35b88a5f8087)
+++ generic/include/console/console.h	(revision 8da51ad331bb44571c3f1d9a00ec0ad51e1e0531)
@@ -41,3 +41,6 @@
 extern void putchar(char c);
 
+extern void arch_grab_console(void);
+extern void arch_release_console(void);
+
 #endif /* __CHARDEV_H__ */