Changes in kernel/generic/include/console/console.h [a71c158:98000fb] in mainline

File:

• kernel/generic/include/console/console.h (modified) (2 diffs)

kernel/generic/include/console/console.h

@@ -44 +44 @@
 
 extern indev_t *stdin_wire(void);
-extern void stdout_wire(outdev_t *outdev);
 extern void console_init(void);
 
@@ -60 +59 @@
 extern unative_t sys_debug_disable_console(void);
 
+extern void arch_grab_console(void);
+extern void arch_release_console(void);
+
 #endif /* KERN_CONSOLE_H_ */