1 # SPDX-License-Identifier: GPL-2.0
3 config LIGHTWEIGHT_SPINLOCK_CHECK
4 bool "Enable lightweight spinlock checks"
5 depends on DEBUG_KERNEL && SMP && !DEBUG_SPINLOCK
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.
15 bool "Use page table locks in TLB fault handler"
16 depends on DEBUG_KERNEL && SMP
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