Lines Matching refs:vc_lte
917 && DRD_(vc_lte)(&sg->vc, &thread_vc_min);
944 * if ( DRD_(vc_lte)(&sg1->vc, &sg->vc)
945 * != DRD_(vc_lte)(&sg2->vc, &sg->vc)
946 * || DRD_(vc_lte)(&sg->vc, &sg1->vc)
947 * != DRD_(vc_lte)(&sg->vc, &sg2->vc))
964 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
972 if (DRD_(vc_lte)(&sg2->vc, &sg->vc))
974 if (DRD_(vc_lte)(&sg1->vc, &sg->vc))
980 if (DRD_(vc_lte)(&sg->vc, &sg1->vc))
982 if (DRD_(vc_lte)(&sg->vc, &sg2->vc))
1159 tl_assert(DRD_(vc_lte)(vc, DRD_(thread_get_vc)(tid)));
1295 if (DRD_(vc_lte)(&q->vc, &p->vc))
1297 if (!DRD_(vc_lte)(&p->vc, &q->vc)) {
1430 if (!DRD_(vc_lte)(&q->vc, &p->vc)
1431 && !DRD_(vc_lte)(&p->vc, &q->vc)) {
1499 tl_assert(DRD_(vc_lte)(old_vc, new_vc));
1511 q && !DRD_(vc_lte)(&q->vc, new_vc);
1514 = !DRD_(vc_lte)(old_vc, &q->vc);
1516 = !DRD_(vc_lte)(new_vc, &q->vc);
1533 for ( ; q && !DRD_(vc_lte)(&q->vc, old_vc); q = q->thr_prev) {
1535 = !DRD_(vc_lte)(old_vc, &q->vc);
1537 = !DRD_(vc_lte)(&q->vc, new_vc)
1538 && !DRD_(vc_lte)(new_vc, &q->vc);
1563 q && !DRD_(vc_lte)(&q->vc, &p->vc);
1565 if (!DRD_(vc_lte)(&p->vc, &q->vc))
