Changes in kernel/generic/include/console/console.h [96b02eb9:a71c158] in mainline

File:

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

kernel/generic/include/console/console.h

@@ -36 +36 @@
 #define KERN_CONSOLE_H_
 
-#include <typedefs.h>
-#include <print.h>
+#include <arch/types.h>
 #include <console/chardev.h>
-
-#define PAGING(counter, increment, before, after) \
-        do { \
-                (counter) += (increment); \
-                if ((counter) > 23) { \
-                        before; \
-                        printf(" -- Press any key to continue -- "); \
-                        indev_pop_character(stdin); \
-                        after; \
-                        printf("\n"); \
-                        (counter) = 0; \
-                } \
-        } while (0)
 
 extern indev_t *stdin;
 extern outdev_t *stdout;
-
-extern void early_putchar(wchar_t);
+extern bool silent;
 
 extern indev_t *stdin_wire(void);
@@ -67 +52 @@
 extern wchar_t getc(indev_t *indev);
 extern size_t gets(indev_t *indev, char *buf, size_t buflen);
-extern sysarg_t sys_klog(int fd, const void *buf, size_t size);
+extern unative_t sys_klog(int fd, const void *buf, size_t size);
 
 extern void grab_console(void);
 extern void release_console(void);
 
-extern sysarg_t sys_debug_enable_console(void);
-extern sysarg_t sys_debug_disable_console(void);
+extern unative_t sys_debug_enable_console(void);
+extern unative_t sys_debug_disable_console(void);
 
 #endif /* KERN_CONSOLE_H_ */