Changes in kernel/generic/include/console/console.h [f6ab787:a801688b] in mainline

File:

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

kernel/generic/include/console/console.h

@@ -39 +39 @@
 #include <print.h>
 #include <console/chardev.h>
-#include <synch/spinlock.h>
 
 #define PAGING(counter, increment, before, after) \
@@ -63 +62 @@
 extern void console_init(void);
 
-extern void kio_init(void);
-extern void kio_update(void *);
-extern void kio_flush(void);
-extern void kio_push_char(const wchar_t);
-SPINLOCK_EXTERN(kio_lock);
+extern void klog_init(void);
+extern void klog_update(void *);
 
 extern wchar_t getc(indev_t *indev);
 extern size_t gets(indev_t *indev, char *buf, size_t buflen);
-extern sysarg_t sys_kio(int cmd, const void *buf, size_t size);
+extern sysarg_t sys_klog(int cmd, const void *buf, size_t size);
 
 extern void grab_console(void);
 extern void release_console(void);
 
-extern sysarg_t sys_debug_console(void);
+extern sysarg_t sys_debug_activate_console(void);
 
 #endif /* KERN_CONSOLE_H_ */