tsan/rtl/tsan_interface_java.h

27 #ifndef INTERFACE_ATTRIBUTE
28 # define INTERFACE_ATTRIBUTE __attribute__((visibility("default")))
38 void __tsan_java_init(jptr heap_begin, jptr heap_size) INTERFACE_ATTRIBUTE;
42 int  __tsan_java_fini() INTERFACE_ATTRIBUTE;
47 void __tsan_java_alloc(jptr ptr, jptr size) INTERFACE_ATTRIBUTE;
50 void __tsan_java_free(jptr ptr, jptr size) INTERFACE_ATTRIBUTE;
54 void __tsan_java_move(jptr src, jptr dst, jptr size) INTERFACE_ATTRIBUTE;
59 void __tsan_java_finalize() INTERFACE_ATTRIBUTE;
64 void __tsan_java_mutex_lock(jptr addr) INTERFACE_ATTRIBUTE;
66 void __tsan_java_mutex_unlock(jptr addr) INTERFACE_ATTRIBUTE;
68 void __tsan_java_mutex_read_lock(jptr addr) INTERFACE_ATTRIBUTE;
70 void __tsan_java_mutex_read_unlock(jptr addr) INTERFACE_ATTRIBUTE;
74 void __tsan_java_mutex_lock_rec(jptr addr, int rec) INTERFACE_ATTRIBUTE;
80 int __tsan_java_mutex_unlock_rec(jptr addr) INTERFACE_ATTRIBUTE;
86 void __tsan_java_acquire(jptr addr) INTERFACE_ATTRIBUTE;
87 void __tsan_java_release(jptr addr) INTERFACE_ATTRIBUTE;
88 void __tsan_java_release_store(jptr addr) INTERFACE_ATTRIBUTE;
94 #undef INTERFACE_ATTRIBUTE