diff options
Diffstat (limited to 'linux/dev/kernel/printk.c')
| -rw-r--r-- | linux/dev/kernel/printk.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/dev/kernel/printk.c b/linux/dev/kernel/printk.c index 9dc86cb..1c45b24 100644 --- a/linux/dev/kernel/printk.c +++ b/linux/dev/kernel/printk.c @@ -27,6 +27,7 @@ #include <stdarg.h> #include <asm/system.h> #include <kern/assert.h> +#include <device/cons.h> static char buf[2048]; @@ -40,7 +41,6 @@ printk (char *fmt, ...) { va_list args; int n, flags; - extern void cnputc (); char *p, *msg, *buf_end; static int msg_level = -1; |