Searched refs:cardinalityWS (Results 1 – 4 of 4) sorted by relevance
79 UWord HG_(cardinalityWS) ( WordSetU*, WordSet );
422 UWord HG_(cardinalityWS) ( WordSetU* wsu, WordSet ws ) in HG_() argument
213 UWord nLocks = HG_(cardinalityWS)(univ_lsets, lockset); in enumerate_WordSet_into_LockP_vector()
1680 nHeld = HG_(cardinalityWS)( univ_lsets, thr_q->locksetA ); in evh__pre_thread_ll_exit()