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