diff options
Diffstat (limited to 'ddb')
| -rw-r--r-- | ddb/db_output.c | 12 | ||||
| -rw-r--r-- | ddb/db_output.h | 3 |
2 files changed, 2 insertions, 13 deletions
diff --git a/ddb/db_output.c b/ddb/db_output.c index 268de69..91ade91 100644 --- a/ddb/db_output.c +++ b/ddb/db_output.c @@ -215,16 +215,4 @@ db_printf(const char *fmt, ...) va_end(listp); } -/* alternate name */ - -/*VARARGS1*/ -void -kdbprintf(const char *fmt, ...) -{ - va_list listp; - va_start(listp, fmt); - _doprnt(fmt, listp, db_id_putc, db_radix, 0); - va_end(listp); -} - #endif /* MACH_KDB */ diff --git a/ddb/db_output.h b/ddb/db_output.h index e7a4ba3..e886647 100644 --- a/ddb/db_output.h +++ b/ddb/db_output.h @@ -39,7 +39,8 @@ extern void db_force_whitespace(void); extern int db_print_position(void); extern void db_end_line(void); extern void db_printf(const char *fmt, ...); +/* alternate name */ +#define kdbprintf db_printf extern void db_putchar(int c); -extern void kdbprintf(const char *fmt, ...); #endif /* _DDB_DB_OUTPUT_H_ */ |