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