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

/freebsd-11.0-release/sys/kern/
H A Dsubr_witness.c337 static void witness_ddb_display(int(*)(const char *fmt, ...));
987 witness_ddb_display(int(*prnt)(const char *fmt, ...)) function
2530 witness_ddb_display(db_printf);

Completed in 55 milliseconds