• ACQUIRE : mutex.h
• CAPABILITY : mutex.h
• EXCLUDES : mutex.h
• GUARDED_BY : mutex.h
• NO_THREAD_SAFETY_ANALYSIS : mutex.h
• PT_GUARDED_BY : mutex.h
• RELEASE : mutex.h
• REQUIRES : mutex.h
• SCOPED_CAPABILITY : mutex.h
• THREAD_ANNOTATION_ATTRIBUTE__ : mutex.h