Lines Matching defs:lock2
1616 lock_descriptor_t *lock1, *lock2;
1675 lock2 = flk_get_lock();
1677 COPY(lock2, lock);
1680 lock2->l_start = request->l_end + 1;
1681 lock2->l_end = lock->l_end;
1683 topology[1] = lock2;
4464 lock_descriptor_t *lock1, *lock2;
4469 for (lock2 = lock1->l_next; lock2 != SLEEPING_HEAD(gp);
4470 lock2 = lock2->l_next) {
4471 if (lock1->l_vnode == lock2->l_vnode) {
4472 if (BLOCKS(lock2, lock1)) {
4475 path(lock1, lock2);
4480 for (lock2 = ACTIVE_HEAD(gp)->l_next; lock2 != ACTIVE_HEAD(gp);
4481 lock2 = lock2->l_next) {
4483 if (lock1->l_vnode == lock2->l_vnode) {
4484 if (BLOCKS(lock2, lock1)) {
4487 path(lock1, lock2);
4500 level_two_path(lock_descriptor_t *lock1, lock_descriptor_t *lock2, int no_path)
4513 ASSERT(ep->to_vertex != lock2);
4526 if (ep->to_vertex == lock2)
4571 level_one_path(lock_descriptor_t *lock1, lock_descriptor_t *lock2)
4576 if (ep->to_vertex == lock2)
4585 no_path(lock_descriptor_t *lock1, lock_descriptor_t *lock2)
4587 return (!level_two_path(lock1, lock2, 1));
4591 path(lock_descriptor_t *lock1, lock_descriptor_t *lock2)
4593 if (level_one_path(lock1, lock2)) {
4594 if (level_two_path(lock1, lock2, 0) != 0) {
4596 "one edge one path from lock1 %p lock2 %p",
4597 (void *)lock1, (void *)lock2);
4599 } else if (no_path(lock1, lock2)) {
4601 "No path from lock1 %p to lock2 %p",
4602 (void *)lock1, (void *)lock2);