sys/kern/subr_witness.c

819 		    class->lc_name, lock->lo_name);
823 		    class->lc_name, lock->lo_name);
827 		    class->lc_name, lock->lo_name);
859 		    class->lc_name, lock->lo_name);
925 	     w->w_name, w->w_class->lc_name,
1002 		    w->w_class->lc_name, w->w_ddb_level);
1070 			    class->lc_name, lock->lo_name,
1109 			    class->lc_name, lock->lo_name,
1118 			    class->lc_name, lock->lo_name,
1430 			    class->lc_name, lock->lo_name,
1434 			    class->lc_name, lock->lo_name,
1440 		    class->lc_name, lock->lo_name,
1445 			    class->lc_name, lock->lo_name,
1449 			    class->lc_name, lock->lo_name,
1470 			    class->lc_name, lock->lo_name,
1474 			    class->lc_name, lock->lo_name,
1480 		    class->lc_name, lock->lo_name,
1485 			    class->lc_name, lock->lo_name,
1489 			    class->lc_name, lock->lo_name,
1531 		panic("lock (%s) %s not locked @ %s:%d", class->lc_name,
1540 		printf("shared unlock of (%s) %s @ %s:%d\n", class->lc_name,
1548 		printf("exclusive unlock of (%s) %s @ %s:%d\n", class->lc_name,
1565 		printf("forbidden unlock of (%s) %s @ %s:%d\n", class->lc_name,
1750 		    lock_class->lc_name);
1782 			description, lock_class->lc_name,
1783 			w->w_class->lc_name);
1916 		    parent->w_class->lc_name, child->w_name,
1917 		    child->w_class->lc_name);
2092 	    "exclusive" : "shared", LOCK_CLASS(lock)->lc_name, lock->lo_name);
2189 		    class->lc_name, lock->lo_name);
2222 		    class->lc_name, lock->lo_name);
2245 		    class->lc_name, lock->lo_name);
2251 			    class->lc_name, lock->lo_name,
2265 			    class->lc_name, lock->lo_name,
2272 			    class->lc_name, lock->lo_name,
2277 			    class->lc_name, lock->lo_name,
2282 			    class->lc_name, lock->lo_name,
2287 			    class->lc_name, lock->lo_name,
2318 		    class->lc_name, lock->lo_name);
2519 			    tmp_w1->w_name, tmp_w1->w_class->lc_name,
2520 			    tmp_w2->w_name, tmp_w2->w_class->lc_name);
2530 				    tmp_w1->w_name, tmp_w1->w_class->lc_name,
2531 				    tmp_w2->w_name, tmp_w2->w_class->lc_name);
2538 				    tmp_w2->w_name, tmp_w2->w_class->lc_name,
2539 				    tmp_w1->w_name, tmp_w1->w_class->lc_name);