Add db_vprintf()
authorMatthew Dillon <dillon@apollo.backplane.com>
Sun, 28 Dec 2008 03:18:21 +0000 (19:18 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Sun, 28 Dec 2008 03:18:21 +0000 (19:18 -0800)
sys/ddb/db_output.c
sys/ddb/ddb.h

index 4236cc7..3880875 100644 (file)
@@ -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
index c76ea8a..7b7063e 100644 (file)
@@ -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);