Lines Matching refs:guestaddr
198 static Lock* mk_LockN ( LockKind kind, Addr guestaddr ) {
213 lock->guestaddr = guestaddr;
486 VG_(printf)("Lock %p (ga %#lx) {\n", lk, lk->guestaddr);
488 VG_(printf)("Lock ga %#lx {\n", lk->guestaddr);
490 || !HG_(get_and_pp_addrdescr) ((Addr) lk->guestaddr))
767 tl_assert(oldlock->guestaddr == ga);
936 if (lk->guestaddr != gla) BAD("2");
945 if (lk != map_locks_maybe_lookup(lk->guestaddr)) BAD("4");
1294 tl_assert(lock->guestaddr == lock_ga);
2047 tl_assert( lk->guestaddr == (Addr)mutex );
2064 map_locks_delete( lk->guestaddr );
2607 tl_assert( lk->guestaddr == (Addr)rwl );
2624 map_locks_delete( lk->guestaddr );
3690 src->guestaddr, dst->guestaddr);
3691 expo.src_ga = src->guestaddr;
3692 expo.dst_ga = dst->guestaddr;
3701 expo2->src_ga = src->guestaddr;
3702 expo2->dst_ga = dst->guestaddr;
3740 expo.src_ga = src->guestaddr;
3741 expo.dst_ga = dst->guestaddr;
3920 key.src_ga = lk->guestaddr;
3921 key.dst_ga = other->guestaddr;
4968 if (all_locks || lk_addr == lk->guestaddr) {
