Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

    Searched refs:vc_lte (Results 1 - 6 of 6) sorted by null

/external/valgrind/drd/tests/
unit_vc.stderr.exp	4 vc_lte(vc1, vc2) = 0, vc_lte(vc1, vc3) = 1, vc_lte(vc2, vc3) = 1 5 vc_lte([ 1: 3, 2: 1 ], [ 1: 4 ]) = 0 sw 0
unit_vc.c	84 fprintf(stderr, "vc_lte(vc1, vc2) = %d, vc_lte(vc1, vc3) = %d," 85 " vc_lte(vc2, vc3) = %d\nvc_lte(", 86 DRD_(vc_lte)(&vc1, &vc2), DRD_(vc_lte)(&vc1, &vc3), 87 DRD_(vc_lte)(&vc2, &vc3)); 94 DRD_(vc_lte)(&vc4, &vc5), DRD_(vc_lte)(&vc5, &vc4));
/external/valgrind/drd/
drd_vc.h	81 Bool DRD_(vc_lte)(const VectorClock* const vc1, 102 Bool DRD_(vc_lte)(const VectorClock* const vc1, const VectorClock* const vc2) function
drd_thread.c	998 && DRD_(vc_lte)(&sg->vc, &thread_vc_min); 1025 * if ( DRD_(vc_lte)(&sg1->vc, &sg->vc) 1026 * != DRD_(vc_lte)(&sg2->vc, &sg->vc) 1027 * || DRD_(vc_lte)(&sg->vc, &sg1->vc) 1028 * != DRD_(vc_lte)(&sg->vc, &sg2->vc))     [all...]
drd_vc.c	121 return DRD_(vc_lte)(vc1, vc2) || DRD_(vc_lte)(vc2, vc1);
drd_barrier.c	169 if (q->post_wait_sg && !DRD_(vc_lte)(&q->post_wait_sg->vc,

Completed in 118 milliseconds