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