| Dmitry Vyukov | 429ccc8 | 2012-12-21 13:26:10 +0000 | [diff] [blame^] | 1 | #include <pthread.h> |
| 2 | #include <stdlib.h> |
| 3 | #include <stdio.h> |
| 4 | #include <unistd.h> |
| 5 | |
| 6 | extern "C" { |
| 7 | typedef unsigned long jptr; // NOLINT |
| 8 | void __tsan_java_init(jptr heap_begin, jptr heap_size); |
| 9 | int __tsan_java_fini(); |
| 10 | void __tsan_java_alloc(jptr ptr, jptr size); |
| 11 | void __tsan_java_free(jptr ptr, jptr size); |
| 12 | void __tsan_java_move(jptr src, jptr dst, jptr size); |
| 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 | } |