diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-18 16:17:50 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-18 18:57:03 +0200 |
| commit | c9e087748246622d824b5ab83ad8cc79b31014d1 (patch) | |
| tree | d27cbf6f6fdde246fe14e2b163bb949f4aba25e2 /kern/printf.h | |
| parent | 1451a958347f5e683c63466cd7dfb893c1651f19 (diff) | |
kern/printf: do not serialize printf and co
A lot of code assumes that printf is re-entrant, e.g. the pagination
code in the debugger, or any use of assert inside the console driver.
* kern/printf.c: Drop the lock serializing calls to `_doprnt'.
(printf_init): Remove function.
* kern/printf.h (printf_init): Remove declaration.
* kern/startup.c (setup_main): Remove call to `printf_init'.
Diffstat (limited to 'kern/printf.h')
| -rw-r--r-- | kern/printf.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kern/printf.h b/kern/printf.h index 76047f0..b72640a 100644 --- a/kern/printf.h +++ b/kern/printf.h @@ -27,8 +27,6 @@ #include <sys/types.h> #include <stdarg.h> -extern void printf_init (void); - extern void _doprnt (const char *fmt, va_list argp, void (*putc)(char, vm_offset_t), |