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