159 void __tsan_java_mutex_lock(jptr addr) {  in __tsan_java_mutex_lock()  argument
161   DPrintf("#%d: java_mutex_lock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_lock()
163   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_lock()
164   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_lock()
166   MutexCreate(thr, pc, addr, true, true, true);  in __tsan_java_mutex_lock()
167   MutexLock(thr, pc, addr);  in __tsan_java_mutex_lock()
170 void __tsan_java_mutex_unlock(jptr addr) {  in __tsan_java_mutex_unlock()  argument
172   DPrintf("#%d: java_mutex_unlock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_unlock()
174   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_unlock()
175   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_unlock()
177   MutexUnlock(thr, pc, addr);  in __tsan_java_mutex_unlock()
180 void __tsan_java_mutex_read_lock(jptr addr) {  in __tsan_java_mutex_read_lock()  argument
182   DPrintf("#%d: java_mutex_read_lock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_read_lock()
184   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_read_lock()
185   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_read_lock()
187   MutexCreate(thr, pc, addr, true, true, true);  in __tsan_java_mutex_read_lock()
188   MutexReadLock(thr, pc, addr);  in __tsan_java_mutex_read_lock()
191 void __tsan_java_mutex_read_unlock(jptr addr) {  in __tsan_java_mutex_read_unlock()  argument
193   DPrintf("#%d: java_mutex_read_unlock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_read_unlock()
195   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_read_unlock()
196   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_read_unlock()
198   MutexReadUnlock(thr, pc, addr);  in __tsan_java_mutex_read_unlock()
201 void __tsan_java_mutex_lock_rec(jptr addr, int rec) {  in __tsan_java_mutex_lock_rec()  argument
203   DPrintf("#%d: java_mutex_lock_rec(%p, %d)\n", thr->tid, addr, rec);  in __tsan_java_mutex_lock_rec()
205   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_lock_rec()
206   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_lock_rec()
209   MutexCreate(thr, pc, addr, true, true, true);  in __tsan_java_mutex_lock_rec()
210   MutexLock(thr, pc, addr, rec);  in __tsan_java_mutex_lock_rec()
213 int __tsan_java_mutex_unlock_rec(jptr addr) {  in __tsan_java_mutex_unlock_rec()  argument
215   DPrintf("#%d: java_mutex_unlock_rec(%p)\n", thr->tid, addr);  in __tsan_java_mutex_unlock_rec()
217   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_unlock_rec()
218   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_unlock_rec()
220   return MutexUnlock(thr, pc, addr, true);  in __tsan_java_mutex_unlock_rec()
223 void __tsan_java_acquire(jptr addr) {  in __tsan_java_acquire()  argument
225   DPrintf("#%d: java_acquire(%p)\n", thr->tid, addr);  in __tsan_java_acquire()
227   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_acquire()
228   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_acquire()
230   Acquire(thr, caller_pc, addr);  in __tsan_java_acquire()
233 void __tsan_java_release(jptr addr) {  in __tsan_java_release()  argument
235   DPrintf("#%d: java_release(%p)\n", thr->tid, addr);  in __tsan_java_release()
237   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_release()
238   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_release()
240   Release(thr, caller_pc, addr);  in __tsan_java_release()
243 void __tsan_java_release_store(jptr addr) {  in __tsan_java_release_store()  argument
245   DPrintf("#%d: java_release_store(%p)\n", thr->tid, addr);  in __tsan_java_release_store()
247   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_release_store()
248   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_release_store()
250   ReleaseStore(thr, caller_pc, addr);  in __tsan_java_release_store()