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