176 void __tsan_java_mutex_lock(jptr addr) {  in __tsan_java_mutex_lock()  argument
178   DPrintf("#%d: java_mutex_lock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_lock()
180   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_lock()
181   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_lock()
183   MutexPostLock(thr, pc, addr, MutexFlagLinkerInit | MutexFlagWriteReentrant |  in __tsan_java_mutex_lock()
187 void __tsan_java_mutex_unlock(jptr addr) {  in __tsan_java_mutex_unlock()  argument
189   DPrintf("#%d: java_mutex_unlock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_unlock()
191   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_unlock()
192   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_unlock()
194   MutexUnlock(thr, pc, addr);  in __tsan_java_mutex_unlock()
197 void __tsan_java_mutex_read_lock(jptr addr) {  in __tsan_java_mutex_read_lock()  argument
199   DPrintf("#%d: java_mutex_read_lock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_read_lock()
201   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_read_lock()
202   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_read_lock()
204   MutexPostReadLock(thr, pc, addr, MutexFlagLinkerInit |  in __tsan_java_mutex_read_lock()
208 void __tsan_java_mutex_read_unlock(jptr addr) {  in __tsan_java_mutex_read_unlock()  argument
210   DPrintf("#%d: java_mutex_read_unlock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_read_unlock()
212   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_read_unlock()
213   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_read_unlock()
215   MutexReadUnlock(thr, pc, addr);  in __tsan_java_mutex_read_unlock()
218 void __tsan_java_mutex_lock_rec(jptr addr, int rec) {  in __tsan_java_mutex_lock_rec()  argument
220   DPrintf("#%d: java_mutex_lock_rec(%p, %d)\n", thr->tid, addr, rec);  in __tsan_java_mutex_lock_rec()
222   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_lock_rec()
223   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_lock_rec()
226   MutexPostLock(thr, pc, addr, MutexFlagLinkerInit | MutexFlagWriteReentrant |  in __tsan_java_mutex_lock_rec()
230 int __tsan_java_mutex_unlock_rec(jptr addr) {  in __tsan_java_mutex_unlock_rec()  argument
232   DPrintf("#%d: java_mutex_unlock_rec(%p)\n", thr->tid, addr);  in __tsan_java_mutex_unlock_rec()
234   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_unlock_rec()
235   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_unlock_rec()
237   return MutexUnlock(thr, pc, addr, MutexFlagRecursiveUnlock);  in __tsan_java_mutex_unlock_rec()
240 void __tsan_java_acquire(jptr addr) {  in __tsan_java_acquire()  argument
242   DPrintf("#%d: java_acquire(%p)\n", thr->tid, addr);  in __tsan_java_acquire()
244   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_acquire()
245   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_acquire()
247   Acquire(thr, caller_pc, addr);  in __tsan_java_acquire()
250 void __tsan_java_release(jptr addr) {  in __tsan_java_release()  argument
252   DPrintf("#%d: java_release(%p)\n", thr->tid, addr);  in __tsan_java_release()
254   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_release()
255   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_release()
257   Release(thr, caller_pc, addr);  in __tsan_java_release()
260 void __tsan_java_release_store(jptr addr) {  in __tsan_java_release_store()  argument
262   DPrintf("#%d: java_release_store(%p)\n", thr->tid, addr);  in __tsan_java_release_store()
264   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_release_store()
265   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_release_store()
267   ReleaseStore(thr, caller_pc, addr);  in __tsan_java_release_store()