Changes in kernel/generic/include/console/console.h [a71c158:da52547] 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 <arch/types.h>
+#include <typedefs.h>
+#include <print.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 bool silent;
+
+extern void early_putchar(wchar_t);
 
 extern indev_t *stdin_wire(void);