Home | History | Annotate | Download | only in drd

Lines Matching refs:Segment

51 /** Push a segment at the end of the queue 'p->last_sem_post_seg'. */
52 static void drd_segment_push(struct semaphore_info* p, Segment* sg)
62 tl_assert(*(Segment**)VG_(indexXA)(p->last_sem_post_seg, n) == sg);
65 /** Pop a segment from the beginning of the queue 'p->last_sem_post_seg'. */
66 static Segment* drd_segment_pop(struct semaphore_info* p)
69 Segment* sg;
79 sg = *(Segment**)VG_(indexXA)(p->last_sem_post_seg, sz - 1);
111 VG_(free), sizeof(Segment*));
120 Segment* sg;
175 Segment* sg;
195 // Remove all segments from the segment stack.
261 Segment* sg;
286 // Remove all segments from the segment stack.
365 Segment* sg;
427 Segment* sg;