52 static void drd_segment_push(struct semaphore_info* p, Segment* sg)  in drd_segment_push()
66 static Segment* drd_segment_pop(struct semaphore_info* p)  in drd_segment_pop()
97 void drd_semaphore_initialize(struct semaphore_info* const p,  in drd_semaphore_initialize()
118 static void semaphore_cleanup(struct semaphore_info* p)  in semaphore_cleanup()
146    struct semaphore_info *p;  in drd_semaphore_get_or_allocate()  local
174    struct semaphore_info* p;  in DRD_()  local
225    struct semaphore_info* p;  in DRD_()  local
260    struct semaphore_info* p;  in DRD_()  local
305    struct semaphore_info* p;  in DRD_()  local
338    struct semaphore_info* p;  in DRD_()  local
364    struct semaphore_info* p;  in DRD_()  local
426    struct semaphore_info* p;  in DRD_()  local