From: Matthew Dillon Date: Sun, 28 Dec 2008 03:18:21 +0000 (-0800) Subject: Add db_vprintf() X-Git-Tag: v2.3.0~196 X-Git-Url: https://gitweb.dragonflybsd.org/dragonfly.git/commitdiff_plain/11369a303a76eb6b746a2049a4949fed7cec56cc Add db_vprintf() --- diff --git a/sys/ddb/db_output.c b/sys/ddb/db_output.c index 4236cc7a0c..3880875955 100644 --- a/sys/ddb/db_output.c +++ b/sys/ddb/db_output.c @@ -175,6 +175,12 @@ db_printf(const char *fmt, ...) __va_end(listp); } +void +db_vprintf(const char *fmt, __va_list va) +{ + kvcprintf (fmt, db_putchar, NULL, db_radix, va); +} + int db_indent; void diff --git a/sys/ddb/ddb.h b/sys/ddb/ddb.h index c76ea8a898..7b7063e799 100644 --- a/sys/ddb/ddb.h +++ b/sys/ddb/ddb.h @@ -101,6 +101,7 @@ boolean_t db_map_current (struct vm_map *); boolean_t db_map_equal (struct vm_map *, struct vm_map *); void db_print_loc_and_inst (db_addr_t loc, db_regs_t *regs); void db_printf (const char *fmt, ...) __printflike(1, 2); +void db_vprintf (const char *fmt, __va_list va); void db_read_bytes (vm_offset_t addr, size_t size, char *data); /* machine-dependent */ int db_readline (char *lstart, int lsize);