Searched refs:createCritSectionNote (Results 1 – 1 of 1) sorted by relevance
186 [[nodiscard]] const NoteTag *createCritSectionNote(CritSectionMarker M,265 C.addTransition(StateWithLockEvent, createCritSectionNote(MarkToAdd, C)); in handleLock()335 BlockInCriticalSectionChecker::createCritSectionNote(CritSectionMarker M, in createCritSectionNote() function in BlockInCriticalSectionChecker