333          } UnlockForeign;  member
557    xe.XE.UnlockForeign.thr   = thr;  in HG_()
558    xe.XE.UnlockForeign.owner = owner;  in HG_()
559    xe.XE.UnlockForeign.lock  in HG_()
680          return xe1->XE.UnlockForeign.thr == xe2->XE.UnlockForeign.thr  in HG_()
681                 && xe1->XE.UnlockForeign.owner == xe2->XE.UnlockForeign.owner  in HG_()
682                 && xe1->XE.UnlockForeign.lock == xe2->XE.UnlockForeign.lock;  in HG_()
885          announce_one_thread( xe->XE.UnlockForeign.thr );  in HG_()
886          announce_one_thread( xe->XE.UnlockForeign.owner );  in HG_()
1095       tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockForeign.lock ) );  in HG_()
1096       tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockForeign.owner ) );  in HG_()
1097       tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockForeign.thr ) );  in HG_()
1104                (Int)xe->XE.UnlockForeign.thr->errmsg_index,  in HG_()
1105                (void*)xe->XE.UnlockForeign.lock->guestaddr,  in HG_()
1106                (Int)xe->XE.UnlockForeign.owner->errmsg_index );  in HG_()
1108                (Int)xe->XE.UnlockForeign.thr->errmsg_index );  in HG_()
1110                (Int)xe->XE.UnlockForeign.owner->errmsg_index );  in HG_()
1113          announce_LockP ( xe->XE.UnlockForeign.lock );  in HG_()
1119                (Int)xe->XE.UnlockForeign.thr->errmsg_index,  in HG_()
1120                (void*)xe->XE.UnlockForeign.lock->guestaddr,  in HG_()
1121                (Int)xe->XE.UnlockForeign.owner->errmsg_index );  in HG_()
1123          announce_LockP ( xe->XE.UnlockForeign.lock );  in HG_()