Lines Matching +full:skip +full:- +full:config

1 # SPDX-License-Identifier: GPL-2.0-only
3 config HAVE_ARCH_KCSAN
6 config HAVE_KCSAN_COMPILER
7 	def_bool (CC_IS_CLANG && $(cc-option,-fsanitize=thread -mllvm -tsan-distinguish-volatile=1)) || \
8 		 (CC_IS_GCC && $(cc-option,-fsanitize=thread --param tsan-distinguish-volatile=1))
11 	  <file:Documentation/dev-tools/kcsan.rst>.
21 	  data-race detector that relies on compile-time instrumentation.
22 	  KCSAN uses a watchpoint-based sampling approach to detect races.
29 	  See <file:Documentation/dev-tools/kcsan.rst> for more details.
33 config CC_HAS_TSAN_COMPOUND_READ_BEFORE_WRITE
34 …def_bool (CC_IS_CLANG && $(cc-option,-fsanitize=thread -mllvm -tsan-compound-read-before-write=1))…
35 		 (CC_IS_GCC && $(cc-option,-fsanitize=thread --param tsan-compound-read-before-write=1))
37 	  The compiler instruments plain compound read-write operations
38 	  differently (++, --, +=, -=, |=, &=, etc.), which allows KCSAN to
42 config KCSAN_VERBOSE
55 config KCSAN_SELFTEST
63 config KCSAN_KUNIT_TEST
83 config KCSAN_EARLY_ENABLE
90 config KCSAN_NUM_WATCHPOINTS
98 	  due to reducing cache-line contention. The chosen default is a
102 config KCSAN_UDELAY_TASK
108 config KCSAN_UDELAY_INTERRUPT
116 config KCSAN_DELAY_RANDOMIZE
124 config KCSAN_SKIP_WATCH
125 	int "Skip instructions before setting up watchpoint"
128 	  The number of per-CPU memory operations to skip, before another
129 	  watchpoint is set up, i.e. one in KCSAN_SKIP_WATCH per-CPU
134 config KCSAN_SKIP_WATCH_RANDOMIZE
135 	bool "Randomize watchpoint instruction skip count"
138 	  If instruction skip count should be randomized, where the maximum is
142 config KCSAN_INTERRUPT_WATCHER
150 	  Currently disabled by default, because not all safe per-CPU access
154 config KCSAN_REPORT_ONCE_IN_MS
165 # are not expected to be switched frequently by non-testers or at runtime.
168 config KCSAN_REPORT_RACE_UNKNOWN_ORIGIN
177 config KCSAN_STRICT
178 	bool "Strict data-race checking"
181 	  closely aligns with the rules defined by the Linux-kernel memory
184 config KCSAN_WEAK_MEMORY
206 config KCSAN_REPORT_VALUE_CHANGE_ONLY
215 config KCSAN_ASSUME_PLAIN_WRITES_ATOMIC
229 config KCSAN_IGNORE_ATOMICS
247 config KCSAN_PERMISSIVE
254 	  to further reduce reported data races due to data-racy patterns