• Home
  • History
  • Annotate
  • Raw
  • Download

Lines Matching refs:viW

292    VtsID viW;  member
344 VtsID viW; /* w-clock of sender */ member
2672 VtsID__rcdec(thr->viW); in VTS__declare_thread_very_dead()
2674 thr->viW = VtsID_INVALID; in VTS__declare_thread_very_dead()
3266 tl_assert(hbthr->viW == VtsID_INVALID); in vts_tab__do_GC()
3271 remap_VtsID( vts_tab, new_tab, &hbthr->viW ); in vts_tab__do_GC()
3280 if (so->viW != VtsID_INVALID) in vts_tab__do_GC()
3281 remap_VtsID( vts_tab, new_tab, &so->viW ); in vts_tab__do_GC()
4025 thr->viW = VtsID_INVALID; in Thr__new()
4065 pair.ull = VtsID__indexAt( thr->viW, thr ); in note_local_Kw_n_stack_for()
5119 VtsID tviW = acc_thr->viW; in msmcread()
5183 VtsID tviW = acc_thr->viW; in msmcwrite()
6154 so->viW = VtsID_INVALID; in SO__Alloc()
6175 tl_assert(so->viW == VtsID_INVALID); in SO__Dealloc()
6177 tl_assert(so->viW != VtsID_INVALID); in SO__Dealloc()
6179 VtsID__rcdec(so->viW); in SO__Dealloc()
6203 if (t->viR == t->viW) { in show_thread_state()
6210 VG_(printf)(" viW %u==", t->viW); in show_thread_state()
6211 VtsID__pp( t->viW ); in show_thread_state()
6271 thr->viW = vi; in libhb_init()
6273 VtsID__rcinc(thr->viW); in libhb_init()
6289 child->viW = VtsID__tick( parent->viW, child ); in libhb_create()
6292 VtsID__rcinc(child->viW); in libhb_create()
6298 tl_assert(VtsID__indexAt( child->viW, child ) == 1); in libhb_create()
6302 VtsID__rcdec(parent->viW); in libhb_create()
6304 parent->viW = VtsID__tick( parent->viW, parent ); in libhb_create()
6307 VtsID__rcinc(parent->viW); in libhb_create()
6620 { Bool leq = VtsID__cmpLEQ(thr->viW, thr->viR); in libhb_so_send()
6627 tl_assert(so->viW == VtsID_INVALID); in libhb_so_send()
6629 so->viW = thr->viW; in libhb_so_send()
6631 VtsID__rcinc(so->viW); in libhb_so_send()
6636 tl_assert(so->viW != VtsID_INVALID); in libhb_so_send()
6638 VtsID__rcdec(so->viW); in libhb_so_send()
6640 so->viW = strong_send ? thr->viW : VtsID__join2( so->viW, thr->viW ); in libhb_so_send()
6642 VtsID__rcinc(so->viW); in libhb_so_send()
6647 VtsID__rcdec(thr->viW); in libhb_so_send()
6649 thr->viW = VtsID__tick( thr->viW, thr ); in libhb_so_send()
6655 VtsID__rcinc(thr->viW); in libhb_so_send()
6669 tl_assert(so->viW != VtsID_INVALID); in libhb_so_recv()
6691 VtsID__rcdec(thr->viW); in libhb_so_recv()
6692 thr->viW = VtsID__join2( thr->viW, so->viW ); in libhb_so_recv()
6693 VtsID__rcinc(thr->viW); in libhb_so_recv()
6711 tl_assert(so->viW == VtsID_INVALID); in libhb_so_recv()
6721 tl_assert(so->viW == VtsID_INVALID); in libhb_so_everSent()
6724 tl_assert(so->viW != VtsID_INVALID); in libhb_so_everSent()
6747 SVal sv = SVal__mkC(thr->viW, thr->viW); in libhb_srange_new()