Searched refs:db_vprintf (Results 1 – 2 of 2) sorted by relevance
| /dflybsd-src/sys/ddb/ | ||
| H A D | ddb.h | 104 void db_vprintf (const char *fmt, __va_list va) __printflike(1, 0); |
| H A D | db_output.c | 192 db_vprintf(const char *fmt, __va_list va) in db_vprintf() function |