Symbol: witness_ddb_display
sys/kern/subr_witness.c
2931
witness_ddb_display(db_printf);
sys/kern/subr_witness.c
324
static void witness_ddb_display(int(*)(const char *fmt, ...));