Lines Matching defs:found_covering_lock
1080 int found_covering_lock = 0;
1214 if (found_covering_lock &&
1216 found_covering_lock++;
1219 found_covering_lock = 1;
1222 if (found_covering_lock &&
1228 !found_covering_lock, 0)))
1236 * found_covering_lock == 2 iff at this point 'request' has paths
1237 * to all locks that blocks 'request'. found_covering_lock == 1 iff at this
1243 if (request_blocked_by_active && found_covering_lock != 2) {
1248 if (found_covering_lock &&