diff options
| author |   Marco Elver <elver@google.com> | 2020-02-11 17:04:22 +0100 |
|---|---|---|
| committer |   Ingo Molnar <mingo@kernel.org> | 2020-03-21 09:44:08 +0100 |
| commit | 81af89e15862909881ff010a0adb67148487e88a (patch) | |
| tree | d2cc4b1598e5136a418154244fbbff9997fde592 /include/linux/kcsan-checks.h | |
| parent | kcsan: Introduce kcsan_value_change type (diff) | |
| download | wireguard-linux-81af89e15862909881ff010a0adb67148487e88a.tar.xz wireguard-linux-81af89e15862909881ff010a0adb67148487e88a.zip | |
kcsan: Add kcsan_set_access_mask() support
When setting up an access mask with kcsan_set_access_mask(), KCSAN will
only report races if concurrent changes to bits set in access_mask are
observed. Conveying access_mask via a separate call avoids introducing
overhead in the common-case fast-path.
Acked-by: John Hubbard <jhubbard@nvidia.com>
Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'include/linux/kcsan-checks.h')
| -rw-r--r-- | include/linux/kcsan-checks.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/include/linux/kcsan-checks.h b/include/linux/kcsan-checks.h index 8675411c8dbc..4ef5233ff3f0 100644 --- a/include/linux/kcsan-checks.h +++ b/include/linux/kcsan-checks.h @@ -68,6 +68,16 @@ void kcsan_flat_atomic_end(void); */ void kcsan_atomic_next(int n); +/** + * kcsan_set_access_mask - set access mask + * + * Set the access mask for all accesses for the current context if non-zero. + * Only value changes to bits set in the mask will be reported. + * + * @mask bitmask + */ +void kcsan_set_access_mask(unsigned long mask); + #else /* CONFIG_KCSAN */ static inline void __kcsan_check_access(const volatile void *ptr, size_t size, @@ -78,6 +88,7 @@ static inline void kcsan_nestable_atomic_end(void) { } static inline void kcsan_flat_atomic_begin(void) { } static inline void kcsan_flat_atomic_end(void) { } static inline void kcsan_atomic_next(int n) { } +static inline void kcsan_set_access_mask(unsigned long mask) { } #endif /* CONFIG_KCSAN */ |