Searched refs:new_vc (Results 1 – 1 of 1) sorted by relevance
1551 const VectorClock* new_vc; in DRD_() local1571 new_vc = DRD_(thread_get_vc)(tid); in DRD_()1572 tl_assert(DRD_(vc_lte)(old_vc, new_vc)); in DRD_()1584 q && !DRD_(vc_lte)(&q->vc, new_vc); in DRD_()1589 = !DRD_(vc_lte)(new_vc, &q->vc); in DRD_()1610 = !DRD_(vc_lte)(&q->vc, new_vc) in DRD_()1611 && !DRD_(vc_lte)(new_vc, &q->vc); in DRD_()