diff options
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, |