Lines Matching refs:tl_assert
55 tl_assert(sg); in drd_segment_push()
61 tl_assert(*(Segment**)VG_(indexXA)(p->last_sem_post_seg, n) == sg); in drd_segment_push()
79 tl_assert(sg); in drd_segment_pop()
99 tl_assert(semaphore != 0); in drd_semaphore_initialize()
100 tl_assert(p->a1 == semaphore); in drd_semaphore_initialize()
101 tl_assert(p->type == ClientSemaphore); in drd_semaphore_initialize()
147 tl_assert(offsetof(DrdClientobj, semaphore) == 0); in drd_semaphore_get_or_allocate()
151 tl_assert(offsetof(DrdClientobj, semaphore) == 0); in drd_semaphore_get_or_allocate()
164 tl_assert(offsetof(DrdClientobj, semaphore) == 0); in semaphore_get()
211 tl_assert(p); in DRD_()
284 tl_assert(p); in DRD_()
324 tl_assert(semaphore < semaphore + 1); in DRD_()
326 tl_assert(p); in DRD_()
350 tl_assert(waited == 0 || waited == 1); in DRD_()
389 tl_assert(sg); in DRD_()
419 tl_assert(sg); in DRD_()