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

File:

• kernel/generic/include/console/console.h (modified) (1 diff)

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);