Searched refs:witness_ddb_display_list (Results 1 – 1 of 1) sorted by relevance
334 static void witness_ddb_display_list(int(*prnt)(const char *fmt, ...),1020 witness_ddb_display_list(int(*prnt)(const char *fmt, ...), in witness_ddb_display_list() function1053 witness_ddb_display_list(prnt, &w_sleep); in witness_ddb_display()1061 witness_ddb_display_list(prnt, &w_spin); in witness_ddb_display()