Home
last modified time | relevance | path

Searched refs:witness_ddb_display (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/kern/
H A Dsubr_witness.c331 static void witness_ddb_display(int(*)(const char *fmt, ...));
1037 witness_ddb_display(int(*prnt)(const char *fmt, ...)) in witness_ddb_display() function
2658 witness_ddb_display(db_printf); in DB_SHOW_COMMAND_FLAGS()