Home | History | Annotate | Download | only in helgrind

Lines Matching full:unlockunlocked

328          } UnlockUnlocked;
537    xe.XE.UnlockUnlocked.thr
539    xe.XE.UnlockUnlocked.lock
677          return xe1->XE.UnlockUnlocked.thr == xe2->XE.UnlockUnlocked.thr
678                 && xe1->XE.UnlockUnlocked.lock == xe2->XE.UnlockUnlocked.lock;
889          announce_one_thread( xe->XE.UnlockUnlocked.thr );
1131       tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockUnlocked.lock ) );
1132       tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockUnlocked.thr ) );
1139                (Int)xe->XE.UnlockUnlocked.thr->errmsg_index,
1140                (void*)xe->XE.UnlockUnlocked.lock->guestaddr );
1142                (Int)xe->XE.UnlockUnlocked.thr->errmsg_index );
1145          announce_LockP ( xe->XE.UnlockUnlocked.lock);
1150                (Int)xe->XE.UnlockUnlocked.thr->errmsg_index,
1151                (void*)xe->XE.UnlockUnlocked.lock->guestaddr );
1153          announce_LockP ( xe->XE.UnlockUnlocked.lock);
1318       case XE_UnlockUnlocked: return "UnlockUnlocked";
1337    TRY("UnlockUnlocked", XS_UnlockUnlocked);