Searched defs:AnnotatedObject (Results 1 – 1 of 1) sorted by relevance
5529 struct AnnotatedObject { struct5530 MockMutex mutex;5531 int value __attribute__((guarded_by(mutex))) = {};