diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2015-09-06 18:41:23 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2015-09-06 18:41:23 +0000 |
| commit | f31bcc68c72371a2bf63aead9f3373a1ff2053b6 (patch) | |
| tree | b259e5d585da0f8cde9579939a74d5ef44c72abd /test/tsan/java.h | |
| parent | cd2dd3df15523e2be8d2bbace27641d6ac9fa40d (diff) | |
Notes
Diffstat (limited to 'test/tsan/java.h')
| -rw-r--r-- | test/tsan/java.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/tsan/java.h b/test/tsan/java.h index 35fdbc1e7bb1..565a7a7fdabf 100644 --- a/test/tsan/java.h +++ b/test/tsan/java.h @@ -18,4 +18,9 @@ int __tsan_java_mutex_unlock_rec(jptr addr); int __tsan_java_acquire(jptr addr); int __tsan_java_release(jptr addr); int __tsan_java_release_store(jptr addr); + +void __tsan_read1_pc(jptr addr, jptr pc); +void __tsan_write1_pc(jptr addr, jptr pc); } + +const jptr kExternalPCBit = 1ULL << 60; |