Lines Matching full:mutexes
1034 /// Return true if any mutexes in FSet are in the acquired_before set of Vd.
1061 // Exclude mutexes in our immediate before set.
1583 /// marked with guarded_by, we must ensure the appropriate mutexes are held.
1747 // mutexes from the lockset, and flag a warning if they are not there.
1830 /// check whether we hold any required mutexes. Reads are checked in
1847 /// whether we hold any required mutexes.
1861 /// need to ensure we hold any required mutexes.
2085 /// We traverse the blocks in the CFG, compute the set of mutexes that are held
2382 /// We traverse the blocks in the CFG, compute the set of mutexes that are held
