Lines Matching refs:UnlockUnlocked
201 } UnlockUnlocked;
426 xe.XE.UnlockUnlocked.thr = thr;
427 xe.XE.UnlockUnlocked.lock = mk_LockP_from_LockN(lk);
555 return xe1->XE.UnlockUnlocked.thr == xe2->XE.UnlockUnlocked.thr
556 && xe1->XE.UnlockUnlocked.lock == xe2->XE.UnlockUnlocked.lock;
692 announce_one_thread( xe->XE.UnlockUnlocked.thr );
907 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockUnlocked.lock ) );
908 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockUnlocked.thr ) );
912 emit( " <kind>UnlockUnlocked</kind>\n");
916 (Int)xe->XE.UnlockUnlocked.thr->errmsg_index,
917 (void*)xe->XE.UnlockUnlocked.lock->guestaddr );
919 (Int)xe->XE.UnlockUnlocked.thr->errmsg_index );
922 if (xe->XE.UnlockUnlocked.lock->appeared_at) {
924 (void*)xe->XE.UnlockUnlocked.lock->guestaddr );
925 VG_(pp_ExeContext)( xe->XE.UnlockUnlocked.lock->appeared_at );
931 (Int)xe->XE.UnlockUnlocked.thr->errmsg_index,
932 (void*)xe->XE.UnlockUnlocked.lock->guestaddr );
934 if (xe->XE.UnlockUnlocked.lock->appeared_at) {
936 (void*)xe->XE.UnlockUnlocked.lock->guestaddr );
937 VG_(pp_ExeContext)( xe->XE.UnlockUnlocked.lock->appeared_at );
1082 case XE_UnlockUnlocked: return "UnlockUnlocked";
1101 TRY("UnlockUnlocked", XS_UnlockUnlocked);