diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-05-03 20:26:31 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-05-03 20:26:31 +0000 |
| commit | 285f392c555459b82baeec68b944936685546972 (patch) | |
| tree | 859b31c183aacabb13a82a7199883a2c70f70d37 /lib/tsan/rtl/tsan_interface.h | |
| parent | 8d8e909cdc9f4e78e1e1600497d827e1acde6cea (diff) | |
Diffstat (limited to 'lib/tsan/rtl/tsan_interface.h')
| -rw-r--r-- | lib/tsan/rtl/tsan_interface.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/tsan/rtl/tsan_interface.h b/lib/tsan/rtl/tsan_interface.h index 71986283ee17..a80a48991cba 100644 --- a/lib/tsan/rtl/tsan_interface.h +++ b/lib/tsan/rtl/tsan_interface.h @@ -82,6 +82,8 @@ SANITIZER_INTERFACE_ATTRIBUTE void __tsan_ignore_thread_end(); SANITIZER_INTERFACE_ATTRIBUTE void *__tsan_external_register_tag(const char *object_type); SANITIZER_INTERFACE_ATTRIBUTE +void __tsan_external_register_header(void *tag, const char *header); +SANITIZER_INTERFACE_ATTRIBUTE void __tsan_external_assign_tag(void *addr, void *tag); SANITIZER_INTERFACE_ATTRIBUTE void __tsan_external_read(void *addr, void *caller_pc, void *tag); |