Searched refs:StateWithLockEvent (Results 1 – 1 of 1) sorted by relevance
328 ProgramStateRef StateWithLockEvent = in handleLock() local330 C.addTransition(StateWithLockEvent, createCritSectionNote(MarkToAdd, C)); in handleLock()