333 static void	witness_ddb_display_list(int(*prnt)(const char *fmt, ...),
357 		    int (*prnt)(const char *fmt, ...));
987 witness_ddb_display_descendants(int(*prnt)(const char *fmt, ...),  in witness_ddb_display_descendants()
993  		prnt(" ");  in witness_ddb_display_descendants()
994 	prnt("%s (type: %s, depth: %d, active refs: %d)",  in witness_ddb_display_descendants()
998  		prnt(" -- (already displayed)\n");  in witness_ddb_display_descendants()
1003 		prnt(" -- last acquired @ %s:%d\n", fixup_filename(w->w_file),  in witness_ddb_display_descendants()
1006 		prnt(" -- never acquired\n");  in witness_ddb_display_descendants()
1013 			witness_ddb_display_descendants(prnt, &w_data[i],  in witness_ddb_display_descendants()
1019 witness_ddb_display_list(int(*prnt)(const char *fmt, ...),  in witness_ddb_display_list()
1029 		witness_ddb_display_descendants(prnt, w, 0);  in witness_ddb_display_list()
1036 witness_ddb_display(int(*prnt)(const char *fmt, ...))  in witness_ddb_display()
1051 	prnt("Sleep locks:\n");  in witness_ddb_display()
1052 	witness_ddb_display_list(prnt, &w_sleep);  in witness_ddb_display()
1059 	prnt("\nSpin locks:\n");  in witness_ddb_display()
1060 	witness_ddb_display_list(prnt, &w_spin);  in witness_ddb_display()
1067 	prnt("\nLocks which were never acquired:\n");  in witness_ddb_display()
1071 		prnt("%s (type: %s, depth: %d)\n", w->w_name,  in witness_ddb_display()
2251     int (*prnt)(const char *fmt, ...))  in witness_list_lock()
2256 	prnt("%s %s %s", (instance->li_flags & LI_EXCLUSIVE) != 0 ?  in witness_list_lock()
2259 		prnt(" (%s)", lock->lo_witness->w_name);  in witness_list_lock()
2260 	prnt(" r = %d (%p) locked @ %s:%d\n",  in witness_list_lock()
2321     int (*prnt)(const char *fmt, ...))  in witness_list_locks()
2329 			witness_list_lock(&lle->ll_children[i], prnt);  in witness_list_locks()
2344     int (*prnt)(const char *fmt, ...))  in witness_display_spinlock()
2354 		witness_list_lock(instance, prnt);  in witness_display_spinlock()