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