4 typedef unsigned long jptr
;
5 void __tsan_java_preinit(const char *libjvm_path
);
6 void __tsan_java_init(jptr heap_begin
, jptr heap_size
);
7 int __tsan_java_fini();
8 void __tsan_java_alloc(jptr ptr
, jptr size
);
9 void __tsan_java_free(jptr ptr
, jptr size
);
10 jptr
__tsan_java_find(jptr
*from_ptr
, jptr to
);
11 void __tsan_java_move(jptr src
, jptr dst
, jptr size
);
12 void __tsan_java_finalize();
13 void __tsan_java_mutex_lock(jptr addr
);
14 void __tsan_java_mutex_unlock(jptr addr
);
15 void __tsan_java_mutex_read_lock(jptr addr
);
16 void __tsan_java_mutex_read_unlock(jptr addr
);
17 void __tsan_java_mutex_lock_rec(jptr addr
, int rec
);
18 int __tsan_java_mutex_unlock_rec(jptr addr
);
19 int __tsan_java_acquire(jptr addr
);
20 int __tsan_java_release(jptr addr
);
21 int __tsan_java_release_store(jptr addr
);
23 void __tsan_read1_pc(jptr addr
, jptr pc
);
24 void __tsan_write1_pc(jptr addr
, jptr pc
);
25 void __tsan_func_entry(jptr pc
);
26 void __tsan_func_exit();
29 const jptr kExternalPCBit
= 1ULL << 60;
