1 # SPDX-License-Identifier: GPL-2.0
2 #
3 config LIGHTWEIGHT_SPINLOCK_CHECK
4 bool "Enable lightweight spinlock chec
5 depends on DEBUG_KERNEL && SMP && !DEB
6 default y
7 help
8 Add checks with low performance impa
9 to catch memory overwrites at runtim
10 spinlock debugging you should choose
11 which will detect unitialized spinlo
12 If unsure say Y here.
13
14 config TLB_PTLOCK
15 bool "Use page table locks in TLB faul
16 depends on DEBUG_KERNEL && SMP
17 default n
18 help
19 Select this option to enable page ta
20 fault handler. This ensures that pag
21 updated consistently on SMP machines
22 loss in performance.
23
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.