Home
last modified time | relevance | path

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

/external/valgrind/main/helgrind/
Dhg_main.c137 static WordSetU* univ_lsets = NULL; /* sets of Lock* */ variable
145 WordSetU* HG_(get_univ_lsets) ( void ) { return univ_lsets; } in HG_()
167 thread->locksetA = HG_(emptyWS)( univ_lsets ); in mk_Thread()
168 thread->locksetW = HG_(emptyWS)( univ_lsets ); in mk_Thread()
361 tl_assert(HG_(elemWS)( univ_lsets, in remove_Lock_from_locksets_of_all_owning_Threads()
364 = HG_(delFromWS)( univ_lsets, thr->locksetA, (Word)lk ); in remove_Lock_from_locksets_of_all_owning_Threads()
367 tl_assert(HG_(elemWS)( univ_lsets, in remove_Lock_from_locksets_of_all_owning_Threads()
370 = HG_(delFromWS)( univ_lsets, thr->locksetW, (Word)lk ); in remove_Lock_from_locksets_of_all_owning_Threads()
570 tl_assert(univ_lsets == NULL); in initialise_data_structures()
571 univ_lsets = HG_(newWordSetU)( HG_(zalloc), "hg.ids.4", HG_(free), in initialise_data_structures()
[all …]
Dhg_errors.c194 Lock** enumerate_WordSet_into_LockP_vector( WordSetU* univ_lsets, in enumerate_WordSet_into_LockP_vector() argument
198 tl_assert(univ_lsets); in enumerate_WordSet_into_LockP_vector()
199 tl_assert( HG_(plausibleWS)(univ_lsets, lockset) ); in enumerate_WordSet_into_LockP_vector()
200 UWord nLocks = HG_(cardinalityWS)(univ_lsets, lockset); in enumerate_WordSet_into_LockP_vector()
210 HG_(getPayloadWS)( &lockNs, &nLockNs, univ_lsets, lockset ); in enumerate_WordSet_into_LockP_vector()