Lines Matching refs:guestaddr
182 static Lock* mk_LockN ( LockKind kind, Addr guestaddr ) { in mk_LockN() argument
197 lock->guestaddr = guestaddr; in mk_LockN()
461 space(d+0); VG_(printf)("Lock %p (ga %#lx) {\n", lk, lk->guestaddr); in pp_Lock()
693 tl_assert(oldlock->guestaddr == ga); in map_locks_lookup_or_create()
862 if (lk->guestaddr != gla) BAD("2"); in locks__sanity_check()
871 if (lk != map_locks_maybe_lookup(lk->guestaddr)) BAD("4"); in locks__sanity_check()
1220 tl_assert(lock->guestaddr == lock_ga); in evhH__pre_thread_releases_lock()
1899 tl_assert( lk->guestaddr == (Addr)mutex ); in evh__HG_PTHREAD_MUTEX_DESTROY_PRE()
1916 map_locks_delete( lk->guestaddr ); in evh__HG_PTHREAD_MUTEX_DESTROY_PRE()
2396 tl_assert( lk->guestaddr == (Addr)rwl ); in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
2413 map_locks_delete( lk->guestaddr ); in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
3445 src->guestaddr, dst->guestaddr); in laog__add_edge()
3446 expo.src_ga = src->guestaddr; in laog__add_edge()
3447 expo.dst_ga = dst->guestaddr; in laog__add_edge()
3456 expo2->src_ga = src->guestaddr; in laog__add_edge()
3457 expo2->dst_ga = dst->guestaddr; in laog__add_edge()
3495 expo.src_ga = src->guestaddr; in laog__del_edge()
3496 expo.dst_ga = dst->guestaddr; in laog__del_edge()
3675 key.src_ga = lk->guestaddr; in laog__pre_thread_acquires_lock()
3676 key.dst_ga = other->guestaddr; in laog__pre_thread_acquires_lock()
3688 thr, lk->guestaddr, other->guestaddr, in laog__pre_thread_acquires_lock()
3693 thr, lk->guestaddr, other->guestaddr, in laog__pre_thread_acquires_lock()