1# SPDX-License-Identifier: GPL-2.0
2#
3config 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
14config 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
24