174 void __tsan_java_mutex_lock(jptr addr) {  in __tsan_java_mutex_lock()  argument
176   DPrintf("#%d: java_mutex_lock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_lock()
178   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_lock()
179   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_lock()
181   MutexPostLock(thr, pc, addr, MutexFlagLinkerInit | MutexFlagWriteReentrant |  in __tsan_java_mutex_lock()
185 void __tsan_java_mutex_unlock(jptr addr) {  in __tsan_java_mutex_unlock()  argument
187   DPrintf("#%d: java_mutex_unlock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_unlock()
189   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_unlock()
190   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_unlock()
192   MutexUnlock(thr, pc, addr);  in __tsan_java_mutex_unlock()
195 void __tsan_java_mutex_read_lock(jptr addr) {  in __tsan_java_mutex_read_lock()  argument
197   DPrintf("#%d: java_mutex_read_lock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_read_lock()
199   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_read_lock()
200   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_read_lock()
202   MutexPostReadLock(thr, pc, addr, MutexFlagLinkerInit |  in __tsan_java_mutex_read_lock()
206 void __tsan_java_mutex_read_unlock(jptr addr) {  in __tsan_java_mutex_read_unlock()  argument
208   DPrintf("#%d: java_mutex_read_unlock(%p)\n", thr->tid, addr);  in __tsan_java_mutex_read_unlock()
210   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_read_unlock()
211   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_read_unlock()
213   MutexReadUnlock(thr, pc, addr);  in __tsan_java_mutex_read_unlock()
216 void __tsan_java_mutex_lock_rec(jptr addr, int rec) {  in __tsan_java_mutex_lock_rec()  argument
218   DPrintf("#%d: java_mutex_lock_rec(%p, %d)\n", thr->tid, addr, rec);  in __tsan_java_mutex_lock_rec()
220   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_lock_rec()
221   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_lock_rec()
224   MutexPostLock(thr, pc, addr, MutexFlagLinkerInit | MutexFlagWriteReentrant |  in __tsan_java_mutex_lock_rec()
228 int __tsan_java_mutex_unlock_rec(jptr addr) {  in __tsan_java_mutex_unlock_rec()  argument
230   DPrintf("#%d: java_mutex_unlock_rec(%p)\n", thr->tid, addr);  in __tsan_java_mutex_unlock_rec()
232   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_mutex_unlock_rec()
233   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_mutex_unlock_rec()
235   return MutexUnlock(thr, pc, addr, MutexFlagRecursiveUnlock);  in __tsan_java_mutex_unlock_rec()
238 void __tsan_java_acquire(jptr addr) {  in __tsan_java_acquire()  argument
240   DPrintf("#%d: java_acquire(%p)\n", thr->tid, addr);  in __tsan_java_acquire()
242   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_acquire()
243   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_acquire()
245   Acquire(thr, caller_pc, addr);  in __tsan_java_acquire()
248 void __tsan_java_release(jptr addr) {  in __tsan_java_release()  argument
250   DPrintf("#%d: java_release(%p)\n", thr->tid, addr);  in __tsan_java_release()
252   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_release()
253   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_release()
255   Release(thr, caller_pc, addr);  in __tsan_java_release()
258 void __tsan_java_release_store(jptr addr) {  in __tsan_java_release_store()  argument
260   DPrintf("#%d: java_release_store(%p)\n", thr->tid, addr);  in __tsan_java_release_store()
262   CHECK_GE(addr, jctx->heap_begin);  in __tsan_java_release_store()
263   CHECK_LT(addr, jctx->heap_begin + jctx->heap_size);  in __tsan_java_release_store()
265   ReleaseStore(thr, caller_pc, addr);  in __tsan_java_release_store()