Home | History | Annotate | Download | only in drd

Lines Matching defs:sg

51 static void drd_segment_push(struct semaphore_info* p, Segment* sg)
55 tl_assert(sg);
56 n = VG_(addToXA)(p->last_sem_post_seg, &sg);
61 tl_assert(*(Segment**)VG_(indexXA)(p->last_sem_post_seg, n) == sg);
68 Segment* sg;
75 sg = 0;
78 sg = *(Segment**)VG_(indexXA)(p->last_sem_post_seg, sz - 1);
79 tl_assert(sg);
82 return sg;
109 p->last_sem_post_seg = VG_(newXA)(VG_(malloc), "drd.sg-stack",
119 Segment* sg;
131 while ((sg = drd_segment_pop(p)))
132 DRD_(sg_put)(sg);
174 Segment* sg;
191 while ((sg = drd_segment_pop(p)))
193 DRD_(sg_put)(sg);
252 Segment* sg;
275 while ((sg = drd_segment_pop(p)))
277 DRD_(sg_put)(sg);
348 Segment* sg;
388 sg = drd_segment_pop(p);
389 tl_assert(sg);
393 DRD_(thread_new_segment_and_combine_vc)(tid, sg);
398 DRD_(sg_put)(sg);
406 Segment* sg;
417 sg = 0;
418 DRD_(thread_get_latest_segment)(&sg, tid);
419 tl_assert(sg);
420 drd_segment_push(p, sg);