Home
last modified time | relevance | path

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

/freebsd-11-stable/sys/kern/
HDsubr_witness.c340 static void witness_ddb_display_list(int(*prnt)(const char *fmt, ...),
977 witness_ddb_display_list(int(*prnt)(const char *fmt, ...), in witness_ddb_display_list() function
1010 witness_ddb_display_list(prnt, &w_sleep); in witness_ddb_display()
1018 witness_ddb_display_list(prnt, &w_spin); in witness_ddb_display()