Home
last modified time | relevance | path

Searched refs:unlocked_buckets (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_locking.c995 int unlocked_buckets[NUM_BUCKETS] = {}; in check_lock() local
1040 unlocked_buckets[bucket] = true; in check_lock()
1051 if (locked_buckets[i] && unlocked_buckets[i]) in check_lock()
1055 (unlocked_buckets[ZERO] || unlocked_buckets[POSITIVE])) in check_lock()