Home | History | Annotate | Download | only in helgrind

Lines Matching full:oldlock

715    Lock* oldlock = NULL;
718 NULL, (UWord*)&oldlock, (UWord)ga );
724 tl_assert(oldlock == NULL);
727 tl_assert(oldlock != NULL);
728 tl_assert(HG_(is_sane_LockN)(oldlock));
729 tl_assert(oldlock->guestaddr == ga);
730 return oldlock;