Index: generic/include/console/console.h
===================================================================
--- generic/include/console/console.h	(revision 482826d75499a7a92dfbb849934f408e9ae8469b)
+++ generic/include/console/console.h	(revision 152b2b0ca223d7a95abf0fbd5e89c977c114a9ce)
@@ -41,3 +41,6 @@
 extern void putchar(char c);
 
+extern void arch_grab_console(void);
+extern void arch_release_console(void);
+
 #endif /* __CHARDEV_H__ */
Index: generic/include/syscall/syscall.h
===================================================================
--- generic/include/syscall/syscall.h	(revision 482826d75499a7a92dfbb849934f408e9ae8469b)
+++ generic/include/syscall/syscall.h	(revision 152b2b0ca223d7a95abf0fbd5e89c977c114a9ce)
@@ -59,4 +59,5 @@
 	SYS_SYSINFO_VALID,
 	SYS_SYSINFO_VALUE,
+	SYS_DEBUG_ENABLE_CONSOLE,
 	SYSCALL_END
 } syscall_t;