Lines Matching refs:lock_ga
1092 /* The lock at 'lock_ga' has acquired a writer. Make all necessary
1096 LockKind lkk, Addr lock_ga )
1115 lkk, lock_ga, map_threads_reverse_lookup_SLOW(thr) );
1189 /* The lock at 'lock_ga' has acquired a reader. Make all necessary
1193 LockKind lkk, Addr lock_ga )
1214 lkk, lock_ga, map_threads_reverse_lookup_SLOW(thr) );
1264 /* The lock at 'lock_ga' is just about to be unlocked. Make all
1268 Addr lock_ga, Bool isRDWR )
1279 isRDWR is True if we know from the wrapper context that lock_ga
1281 lock_ga should refer to a standard mutex. */
1284 lock = map_locks_maybe_lookup( lock_ga );
1287 /* We know nothing about a lock at 'lock_ga'. Nevertheless
1290 HG_(record_error_UnlockBogus)( thr, lock_ga );
1294 tl_assert(lock->guestaddr == lock_ga);
