Lines Matching refs:flags
35 // Mutex creation flags are passed to __tsan_mutex_create annotation.
37 // the flags may be passed to __tsan_mutex_pre_lock/__tsan_mutex_post_lock
48 // Mutex operation flags:
67 // Supported flags: mutex creation flags.
68 void __tsan_mutex_create(void *addr, unsigned flags);
71 // Supported flags: none.
72 void __tsan_mutex_destroy(void *addr, unsigned flags);
75 // Supported flags:
78 // - all mutex creation flags
79 void __tsan_mutex_pre_lock(void *addr, unsigned flags);
82 // Supported flags:
87 // - all mutex creation flags
88 void __tsan_mutex_post_lock(void *addr, unsigned flags, int recursion);
91 // Supported flags:
94 int __tsan_mutex_pre_unlock(void *addr, unsigned flags);
97 // Supported flags:
99 void __tsan_mutex_post_unlock(void *addr, unsigned flags);
102 // Supported flags: none.
103 void __tsan_mutex_pre_signal(void *addr, unsigned flags);
104 void __tsan_mutex_post_signal(void *addr, unsigned flags);
113 // Supported flags: none.
114 void __tsan_mutex_pre_divert(void *addr, unsigned flags);
115 void __tsan_mutex_post_divert(void *addr, unsigned flags);
