Lines Matching refs:viR
291 VtsID viR; member
343 VtsID viR; /* r-clock of sender */ member
2671 VtsID__rcdec(thr->viR); in VTS__declare_thread_very_dead()
2673 thr->viR = VtsID_INVALID; in VTS__declare_thread_very_dead()
3265 tl_assert(hbthr->viR == VtsID_INVALID); in vts_tab__do_GC()
3270 remap_VtsID( vts_tab, new_tab, &hbthr->viR ); in vts_tab__do_GC()
3278 if (so->viR != VtsID_INVALID) in vts_tab__do_GC()
3279 remap_VtsID( vts_tab, new_tab, &so->viR ); in vts_tab__do_GC()
4024 thr->viR = VtsID_INVALID; in Thr__new()
5118 VtsID tviR = acc_thr->viR; in msmcread()
6153 so->viR = VtsID_INVALID; in SO__Alloc()
6174 if (so->viR == VtsID_INVALID) { in SO__Dealloc()
6178 VtsID__rcdec(so->viR); in SO__Dealloc()
6203 if (t->viR == t->viW) { in show_thread_state()
6204 VG_(printf)("thr \"%s\" %p has vi* %u==", str, t, t->viR ); in show_thread_state()
6205 VtsID__pp( t->viR ); in show_thread_state()
6208 VG_(printf)("thr \"%s\" %p has viR %u==", str, t, t->viR ); in show_thread_state()
6209 VtsID__pp( t->viR ); in show_thread_state()
6270 thr->viR = vi; in libhb_init()
6272 VtsID__rcinc(thr->viR); in libhb_init()
6288 child->viR = VtsID__tick( parent->viR, child ); in libhb_create()
6291 VtsID__rcinc(child->viR); in libhb_create()
6297 tl_assert(VtsID__indexAt( child->viR, child ) == 1); in libhb_create()
6301 VtsID__rcdec(parent->viR); in libhb_create()
6303 parent->viR = VtsID__tick( parent->viR, parent ); in libhb_create()
6306 VtsID__rcinc(parent->viR); in libhb_create()
6620 { Bool leq = VtsID__cmpLEQ(thr->viW, thr->viR); in libhb_so_send()
6626 if (so->viR == VtsID_INVALID) { in libhb_so_send()
6628 so->viR = thr->viR; in libhb_so_send()
6630 VtsID__rcinc(so->viR); in libhb_so_send()
6637 VtsID__rcdec(so->viR); in libhb_so_send()
6639 so->viR = strong_send ? thr->viR : VtsID__join2( so->viR, thr->viR ); in libhb_so_send()
6641 VtsID__rcinc(so->viR); in libhb_so_send()
6646 VtsID__rcdec(thr->viR); in libhb_so_send()
6648 thr->viR = VtsID__tick( thr->viR, thr ); in libhb_so_send()
6654 VtsID__rcinc(thr->viR); in libhb_so_send()
6668 if (so->viR != VtsID_INVALID) { in libhb_so_recv()
6674 VtsID__rcdec(thr->viR); in libhb_so_recv()
6675 thr->viR = VtsID__join2( thr->viR, so->viR ); in libhb_so_recv()
6676 VtsID__rcinc(thr->viR); in libhb_so_recv()
6720 if (so->viR == VtsID_INVALID) { in libhb_so_everSent()