Lines Matching defs:w1
311 witness_lock_type_equal(struct witness *w1, struct witness *w2)
314 return ((w1->w_class->lc_flags & (LC_SLEEPLOCK | LC_SPINLOCK)) ==
326 static int _isitmyx(struct witness *w1, struct witness *w2, int rmask,
769 struct witness *w, *w1;
894 w1 = plock->li_lock->lo_witness;
895 if (witness_lock_order_check(w1, w))
899 if (witness_lock_order_check(w1, w))
902 witness_lock_order_add(w1, w);
909 if (w1 == w) {
932 if (isitmychild(w1, w))
951 w1 = lock1->li_lock->lo_witness;
952 if (w1 == NULL) {
996 if (!isitmydescendant(w, w1))
1006 if (w_rmatrix[w1->w_index][w->w_index] & WITNESS_REVERSAL)
1010 w_rmatrix[w1->w_index][w->w_index] |= WITNESS_REVERSAL;
1011 w_rmatrix[w->w_index][w1->w_index] |= WITNESS_REVERSAL;
1012 w->w_reversed = w1->w_reversed = 1;
1060 w1->w_type->lt_name);
1070 w1->w_type->lt_name);
1075 witness_print_cycle(printf, w1, w);
1625 * expected relationship of w1 to w2.
1628 _isitmyx(struct witness *w1, struct witness *w2, int rmask, const char *fname)
1633 i1 = w1->w_index;
1649 fname, w1->w_type->lt_name, i1, w2->w_type->lt_name,
2183 struct witness *w1, *w2;
2212 w1 = &w_data[i];
2213 if (w1->w_reversed == 0) {
2219 if (w1->w_reversed == 0)
2240 w1->w_type->lt_name, w1->w_class->lc_name,
2242 witness_print_cycle(db_printf, w1, w2);