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