Home
last modified time | relevance | path

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

/external/valgrind/helgrind/
Dhg_main.c141 static WordSetU* univ_lsets = NULL; /* sets of Lock* */ variable
149 WordSetU* HG_(get_univ_lsets) ( void ) { return univ_lsets; } in HG_()
177 thread->locksetA = HG_(emptyWS)( univ_lsets ); in mk_Thread()
178 thread->locksetW = HG_(emptyWS)( univ_lsets ); in mk_Thread()
377 tl_assert(HG_(elemWS)( univ_lsets, in remove_Lock_from_locksets_of_all_owning_Threads()
380 = HG_(delFromWS)( univ_lsets, thr->locksetA, (UWord)lk ); in remove_Lock_from_locksets_of_all_owning_Threads()
383 tl_assert(HG_(elemWS)( univ_lsets, in remove_Lock_from_locksets_of_all_owning_Threads()
386 = HG_(delFromWS)( univ_lsets, thr->locksetW, (UWord)lk ); in remove_Lock_from_locksets_of_all_owning_Threads()
616 tl_assert(univ_lsets == NULL); in initialise_data_structures()
617 univ_lsets = HG_(newWordSetU)( HG_(zalloc), "hg.ids.4", HG_(free), in initialise_data_structures()
[all …]
Dhg_errors.c207 Lock** enumerate_WordSet_into_LockP_vector( WordSetU* univ_lsets, in enumerate_WordSet_into_LockP_vector() argument
211 tl_assert(univ_lsets); in enumerate_WordSet_into_LockP_vector()
212 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()