57 static JavaContext *jctx;  variable
72   CHECK_EQ(jctx, 0);  in __tsan_java_init()
78   jctx = new(jctx_buf) JavaContext(heap_begin, heap_size);  in __tsan_java_init()
84   CHECK_NE(jctx, 0);  in __tsan_java_fini()
94   CHECK_NE(jctx, 0);  in __tsan_java_alloc()
98   CHECK_GE(ptr, jctx->heap_begin);  in __tsan_java_alloc()
99   CHECK_LE(ptr + size, jctx->heap_begin + jctx->heap_size);  in __tsan_java_alloc()
107   CHECK_NE(jctx, 0);  in __tsan_java_free()
111   CHECK_GE(ptr, jctx->heap_begin);  in __tsan_java_free()
112   CHECK_LE(ptr + size, jctx->heap_begin + jctx->heap_size);  in __tsan_java_free()
120   CHECK_NE(jctx, 0);  in __tsan_java_move()
125   CHECK_GE(src, jctx->heap_begin);  in __tsan_java_move()
126   CHECK_LE(src + size, jctx->heap_begin + jctx->heap_size);  in __tsan_java_move()
127   CHECK_GE(dst, jctx->heap_begin);  in __tsan_java_move()
128   CHECK_LE(dst + size, jctx->heap_begin + jctx->heap_size);  in __tsan_java_move()
162   CHECK_NE(jctx, 0);  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()
173   CHECK_NE(jctx, 0);  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()
183   CHECK_NE(jctx, 0);  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()
194   CHECK_NE(jctx, 0);  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()
204   CHECK_NE(jctx, 0);  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()
216   CHECK_NE(jctx, 0);  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()
226   CHECK_NE(jctx, 0);  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()
236   CHECK_NE(jctx, 0);  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()
246   CHECK_NE(jctx, 0);  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()