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