Searched refs:lock_ga (Results 1 – 2 of 2) sorted by relevance
326 Addr lock_ga; /* purported address of the lock */ member602 void HG_(record_error_UnlockBogus) ( Thread* thr, Addr lock_ga ) in HG_()609 xe.XE.UnlockBogus.lock_ga = lock_ga; in HG_()715 && xe1->XE.UnlockBogus.lock_ga == xe2->XE.UnlockBogus.lock_ga; in HG_()1082 (void*)xe->XE.UnlockBogus.lock_ga ); in HG_()1092 (void*)xe->XE.UnlockBogus.lock_ga ); in HG_()
1022 LockKind lkk, Addr lock_ga ) in evhH__post_thread_w_acquires_lock() argument1041 lkk, lock_ga, map_threads_reverse_lookup_SLOW(thr) ); in evhH__post_thread_w_acquires_lock()1119 LockKind lkk, Addr lock_ga ) in evhH__post_thread_r_acquires_lock() argument1140 lkk, lock_ga, map_threads_reverse_lookup_SLOW(thr) ); in evhH__post_thread_r_acquires_lock()1194 Addr lock_ga, Bool isRDWR ) in evhH__pre_thread_releases_lock() argument1210 lock = map_locks_maybe_lookup( lock_ga ); in evhH__pre_thread_releases_lock()1216 HG_(record_error_UnlockBogus)( thr, lock_ga ); in evhH__pre_thread_releases_lock()1220 tl_assert(lock->guestaddr == lock_ga); in evhH__pre_thread_releases_lock()