diff options
Diffstat (limited to 'lib/tsan/rtl/tsan_rtl.h')
-rw-r--r-- | lib/tsan/rtl/tsan_rtl.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/tsan/rtl/tsan_rtl.h b/lib/tsan/rtl/tsan_rtl.h index a800ad0bf..a8a71c8d4 100644 --- a/lib/tsan/rtl/tsan_rtl.h +++ b/lib/tsan/rtl/tsan_rtl.h @@ -65,6 +65,8 @@ typedef CombinedAllocator<PrimaryAllocator, AllocatorCache, Allocator *allocator(); #endif +void TsanCheckFailed(const char *file, int line, const char *cond, + u64 v1, u64 v2); void TsanPrintf(const char *format, ...); // FastState (from most significant bit): |