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 /kernel/kcsan/kcsan.h | |
| parent | b738f6169f1260b4ed5bd9f220b1c84d79f3ab8d (diff) | |
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 'kernel/kcsan/kcsan.h')
| -rw-r--r-- | kernel/kcsan/kcsan.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/kernel/kcsan/kcsan.h b/kernel/kcsan/kcsan.h index 83a79b08b550..892de5120c1b 100644 --- a/kernel/kcsan/kcsan.h +++ b/kernel/kcsan/kcsan.h @@ -99,6 +99,11 @@ enum kcsan_value_change { KCSAN_VALUE_CHANGE_MAYBE, /* + * Did not observe a value-change, and it is invalid to report the race. + */ + KCSAN_VALUE_CHANGE_FALSE, + + /* * The value was observed to change, and the race should be reported. */ KCSAN_VALUE_CHANGE_TRUE, |