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