1 # SPDX-License-Identifier: GPL-2.0 2 # 3 config LIGHTWEIGHT_SPINLOCK_CHECK 4 bool "Enable lightweight spinlock checks" 5 depends on DEBUG_KERNEL && SMP && !DEBUG_SPINLOCK 6 default y 7 help 8 Add checks with low performance impact to the spinlock functions 9 to catch memory overwrites at runtime. For more advanced 10 spinlock debugging you should choose the DEBUG_SPINLOCK option 11 which will detect unitialized spinlocks too. 12 If unsure say Y here. 13 14 config TLB_PTLOCK 15 bool "Use page table locks in TLB fault handler" 16 depends on DEBUG_KERNEL && SMP 17 default n 18 help 19 Select this option to enable page table locking in the TLB 20 fault handler. This ensures that page table entries are 21 updated consistently on SMP machines at the expense of some 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.