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