Changes in kernel/generic/include/console/console.h [63ed840:690ad20] in mainline

File:

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

kernel/generic/include/console/console.h

@@ -36 +36 @@
 #define KERN_CONSOLE_H_
 
-#include <typedefs.h>
-#include <print.h>
 #include <console/chardev.h>
 #include <synch/spinlock.h>
@@ -66 +64 @@
 extern void kio_update(void *);
 extern void kio_flush(void);
-extern void kio_push_char(const char32_t);
-SPINLOCK_EXTERN(kio_lock);
+extern void kio_push_bytes(const char *, size_t);
+extern irq_spinlock_t kio_lock;
 
+extern sysarg_t sys_kio_read(uspace_addr_t buf, size_t size, size_t at);
 extern sys_errno_t sys_kio(int cmd, uspace_addr_t buf, size_t size);
 
@@ -76 +75 @@
 extern sysarg_t sys_debug_console(void);
 
+extern void console_lock(void);
+extern void console_unlock(void);
+
+extern void putstr(const char *s, size_t n);
+
 #endif /* KERN_CONSOLE_H_ */