diff options
| author | Marco Elver <[email protected]> | 2020-02-11 16:04:21 +0000 |
|---|---|---|
| committer | Ingo Molnar <[email protected]> | 2020-03-21 08:44:03 +0000 |
| commit | b738f6169f1260b4ed5bd9f220b1c84d79f3ab8d (patch) | |
| tree | b15d523664449bf30e59c034e4517eb5e399744d /init/init_task.c | |
| parent | compiler.h, seqlock.h: Remove unnecessary kcsan.h includes (diff) | |
| download | kernel-b738f6169f1260b4ed5bd9f220b1c84d79f3ab8d.tar.gz kernel-b738f6169f1260b4ed5bd9f220b1c84d79f3ab8d.zip | |
kcsan: Introduce kcsan_value_change type
Introduces kcsan_value_change type, which explicitly points out if we
either observed a value-change (TRUE), or we could not observe one but
cannot rule out a value-change happened (MAYBE). The MAYBE state can
either be reported or not, depending on configuration preferences.
A follow-up patch introduces the FALSE state, which should never be
reported.
No functional change intended.
Acked-by: John Hubbard <[email protected]>
Signed-off-by: Marco Elver <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Signed-off-by: Ingo Molnar <[email protected]>
Diffstat (limited to 'init/init_task.c')
0 files changed, 0 insertions, 0 deletions