Lines Matching refs:Segment
50 /** Push a segment at the end of the queue 'p->last_sem_post_seg'. */
51 static void drd_segment_push(struct semaphore_info* p, Segment* sg)
61 tl_assert(*(Segment**)VG_(indexXA)(p->last_sem_post_seg, n) == sg);
64 /** Pop a segment from the beginning of the queue 'p->last_sem_post_seg'. */
65 static Segment* drd_segment_pop(struct semaphore_info* p)
68 Segment* sg;
78 sg = *(Segment**)VG_(indexXA)(p->last_sem_post_seg, sz - 1);
110 VG_(free), sizeof(Segment*));
119 Segment* sg;
174 Segment* sg;
190 // Remove all segments from the segment stack.
252 Segment* sg;
274 // Remove all segments from the segment stack.
348 Segment* sg;
406 Segment* sg;
