Lines Matching refs:univ_lsets
207 Lock** enumerate_WordSet_into_LockP_vector( WordSetU* univ_lsets,
211 tl_assert(univ_lsets);
212 tl_assert( HG_(plausibleWS)(univ_lsets, lockset) );
213 UWord nLocks = HG_(cardinalityWS)(univ_lsets, lockset);
222 HG_(getPayloadWS)( &lockNs, &nLockNs, univ_lsets, lockset );
