Lines Matching refs:lock_ga
1128 /* The lock at 'lock_ga' has acquired a writer. Make all necessary
1132 LockKind lkk, Addr lock_ga )
1151 lkk, lock_ga, map_threads_reverse_lookup_SLOW(thr) );
1223 /* The lock at 'lock_ga' has acquired a reader. Make all necessary
1227 LockKind lkk, Addr lock_ga )
1248 lkk, lock_ga, map_threads_reverse_lookup_SLOW(thr) );
1296 /* The lock at 'lock_ga' is just about to be unlocked. Make all
1300 Addr lock_ga, Bool isRDWR )
1311 isRDWR is True if we know from the wrapper context that lock_ga
1313 lock_ga should refer to a standard mutex. */
1316 lock = map_locks_maybe_lookup( lock_ga );
1319 /* We know nothing about a lock at 'lock_ga'. Nevertheless
1322 HG_(record_error_UnlockBogus)( thr, lock_ga );
1326 tl_assert(lock->guestaddr == lock_ga);
