kernel/kcsan/kcsan.h

1 /* SPDX-License-Identifier: GPL-2.0 */
4  * see Documentation/dev-tools/kcsan.rst.
24  * Globally enable and disable KCSAN.
36  * slow-paths.
99  * Value-change states.
103 	 * Did not observe a value-change, however, it is valid to report the
109 	 * Did not observe a value-change, and it is invalid to report the race.
121  * to be consumed by the reporting thread. No report is printed yet.
128  * consumed: print the full report based on information set by the racing
133 			       int watchpoint_idx, u64 old, u64 new, u64 mask);
140 				 unsigned long ip, u64 old, u64 new, u64 mask);