7 typedef unsigned long jptr
; // NOLINT
8 void __tsan_java_preinit(const char *libjvm_path
);
9 void __tsan_java_init(jptr heap_begin
, jptr heap_size
);
10 int __tsan_java_fini();
11 void __tsan_java_alloc(jptr ptr
, jptr size
);
12 void __tsan_java_free(jptr ptr
, jptr size
);
13 void __tsan_java_move(jptr src
, jptr dst
, jptr size
);
14 void __tsan_java_mutex_lock(jptr addr
);
15 void __tsan_java_mutex_unlock(jptr addr
);
16 void __tsan_java_mutex_read_lock(jptr addr
);
17 void __tsan_java_mutex_read_unlock(jptr addr
);
18 void __tsan_java_mutex_lock_rec(jptr addr
, int rec
);
19 int __tsan_java_mutex_unlock_rec(jptr addr
);