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