Searched refs:lockset (Results 1 – 2 of 2) sorted by relevance
92 where LS is a lockset (as before) and VTS is a vector timestamp.94 For a thread T with current lockset 'currLS' and current VTS 'currVTS'
208 WordSetID lockset, in enumerate_WordSet_into_LockP_vector() argument212 tl_assert( HG_(plausibleWS)(univ_lsets, lockset) ); in enumerate_WordSet_into_LockP_vector()213 UWord nLocks = HG_(cardinalityWS)(univ_lsets, lockset); in enumerate_WordSet_into_LockP_vector()222 HG_(getPayloadWS)( &lockNs, &nLockNs, univ_lsets, lockset ); in enumerate_WordSet_into_LockP_vector()