sys/kern/subr_witness.c

1031 witness_defineorder(struct lock_object *lock1, struct lock_object *lock2)
1038 	if (lock1 == NULL || lock1->lo_witness == NULL || lock2 == NULL ||
1050 	    isitmydescendant(lock2->lo_witness, lock1->lo_witness)) {
1057 	    lock2->lo_witness->w_name, lock1->lo_witness->w_name);
1058 	itismychild(lock1->lo_witness, lock2->lo_witness);
1068 	struct lock_instance *lock1, *lock2, *plock;
1126 	lock1 = find_instance(lock_list, lock);
1127 	if (lock1 != NULL) {
1128 		if ((lock1->li_flags & LI_EXCLUSIVE) != 0 &&
1134 			    fixup_filename(lock1->li_file), lock1->li_line);
1137 		if ((lock1->li_flags & LI_EXCLUSIVE) == 0 &&
1143 			    fixup_filename(lock1->li_file), lock1->li_line);
1152 		lock1 = find_instance(lock_list, interlock);
1153 		if (lock1 == NULL)
1157 		else if ((lock1->li_flags & LI_RECURSEMASK) != 0)
1238 			lock1 = &lle->ll_children[i];
1243 			if (interlock == lock1->li_lock)
1250 			w1 = lock1->li_lock->lo_witness;
1252 				KASSERT((lock1->li_lock->lo_flags & LO_WITNESS) == 0,
1261 			if ((lock1->li_lock->lo_flags & LO_SLEEPABLE) != 0 &&
1270 			    lock1->li_lock == &Giant.lock_object)
1280 			    (lock1->li_lock->lo_flags & LO_SLEEPABLE) == 0))
1287 			if ((lock1->li_lock->lo_flags & LO_SLEEPABLE) == 0 &&
1332 			    (lock1->li_lock->lo_flags & LO_IS_VNODE) != 0)
1340 			    (lock1->li_lock->lo_flags & LO_SLEEPABLE) == 0))
1343 			else if ((lock1->li_lock->lo_flags & LO_SLEEPABLE) == 0
1368 				    lock1->li_lock, lock1->li_lock->lo_name,
1369 				    w1->w_name, fixup_filename(lock1->li_file),
1370 				    lock1->li_line);
1381 				    lock1->li_lock, lock1->li_lock->lo_name,
1382 				    w1->w_name, fixup_filename(lock1->li_file),
1383 				    lock1->li_line);
1706 	struct lock_instance *lock1;
1717 			lock1 = &lle->ll_children[i];
1718 			if (lock1->li_lock == lock)
1721 			    lock1->li_lock == &Giant.lock_object)
1724 			    (lock1->li_lock->lo_flags & LO_SLEEPABLE) != 0)
1736 			witness_list_lock(lock1, witness_output);
1755 		lock1 = &lock_list->ll_children[lock_list->ll_count - 1];
1757 		    lock1->li_lock == lock && n == 0)