Lines Matching full:lock_ga
1018 /* The lock at 'lock_ga' has acquired a writer. Make all necessary
1022 LockKind lkk, Addr lock_ga )
1041 lkk, lock_ga, map_threads_reverse_lookup_SLOW(thr) );
1115 /* The lock at 'lock_ga' has acquired a reader. Make all necessary
1119 LockKind lkk, Addr lock_ga )
1140 lkk, lock_ga, map_threads_reverse_lookup_SLOW(thr) );
1190 /* The lock at 'lock_ga' is just about to be unlocked. Make all
1194 Addr lock_ga, Bool isRDWR )
1205 isRDWR is True if we know from the wrapper context that lock_ga
1207 lock_ga should refer to a standard mutex. */
1210 lock = map_locks_maybe_lookup( lock_ga );
1213 /* We know nothing about a lock at 'lock_ga'. Nevertheless
1216 HG_(record_error_UnlockBogus)( thr, lock_ga );
1220 tl_assert(lock->guestaddr == lock_ga);
