Searched refs:witness_ddb_display (Results 1 – 1 of 1) sorted by relevance
339 static void witness_ddb_display(int(*)(const char *fmt, ...));693 witness_ddb_display(int(*prnt)(const char *fmt, ...)) in witness_ddb_display() function2267 witness_ddb_display(db_printf); in db_witness_display()