Lines Matching refs:vc_lte
926 && DRD_(vc_lte)(&sg->vc, &thread_vc_min);
953 * if ( DRD_(vc_lte)(&sg1->vc, &sg->vc)
954 * != DRD_(vc_lte)(&sg2->vc, &sg->vc)
955 * || DRD_(vc_lte)(&sg->vc, &sg1->vc)
956 * != DRD_(vc_lte)(&sg->vc, &sg2->vc))
973 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
981 if (DRD_(vc_lte)(&sg2->vc, &sg->vc))
983 if (DRD_(vc_lte)(&sg1->vc, &sg->vc))
989 if (DRD_(vc_lte)(&sg->vc, &sg1->vc))
991 if (DRD_(vc_lte)(&sg->vc, &sg2->vc))
1168 tl_assert(DRD_(vc_lte)(vc, DRD_(thread_get_vc)(tid)));
1304 if (DRD_(vc_lte)(&q->vc, &p->vc))
1306 if (!DRD_(vc_lte)(&p->vc, &q->vc)) {
1435 if (!DRD_(vc_lte)(&q->vc, &p->vc)
1436 && !DRD_(vc_lte)(&p->vc, &q->vc)) {
1504 tl_assert(DRD_(vc_lte)(old_vc, new_vc));
1516 q && !DRD_(vc_lte)(&q->vc, new_vc);
1519 = !DRD_(vc_lte)(old_vc, &q->vc);
1521 = !DRD_(vc_lte)(new_vc, &q->vc);
1538 for ( ; q && !DRD_(vc_lte)(&q->vc, old_vc); q = q->thr_prev) {
1540 = !DRD_(vc_lte)(old_vc, &q->vc);
1542 = !DRD_(vc_lte)(&q->vc, new_vc)
1543 && !DRD_(vc_lte)(new_vc, &q->vc);
1568 q && !DRD_(vc_lte)(&q->vc, &p->vc);
1570 if (!DRD_(vc_lte)(&p->vc, &q->vc))