Symbol: witness_ddb_display_list
sys/kern/subr_witness.c
344
static void witness_ddb_display_list(int(*prnt)(const char *fmt, ...),
sys/kern/subr_witness.c
713
witness_ddb_display_list(prnt, &w_sleep);
sys/kern/subr_witness.c
719
witness_ddb_display_list(prnt, &w_spin);