diff options
Diffstat (limited to 'kern/debug.c')
| -rw-r--r-- | kern/debug.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/kern/debug.c b/kern/debug.c index 6a31ab8..42764bd 100644 --- a/kern/debug.c +++ b/kern/debug.c @@ -24,6 +24,7 @@ * the rights to redistribute these changes. */ +#include <printf.h> #include <stdarg.h> #include "cpu_number.h" @@ -45,6 +46,12 @@ extern int db_breakpoints_inserted; simple_lock_data_t Assert_print_lock; /* uninited, we take our chances */ #endif +static void +do_cnputc(char c, vm_offset_t offset) +{ + cnputc(c); +} + void Assert(char *exp, char *file, int line) { @@ -144,7 +151,7 @@ panic(const char *s, ...) #endif printf(": "); va_start(listp, s); - _doprnt(s, &listp, cnputc, 0); + _doprnt(s, &listp, do_cnputc, 0, 0); va_end(listp); printf("\n"); @@ -175,6 +182,6 @@ log(int level, const char *fmt, ...) level++; #endif va_start(listp, fmt); - _doprnt(fmt, &listp, cnputc, 0); + _doprnt(fmt, &listp, do_cnputc, 0, 0); va_end(listp); } |