1b2441318SGreg Kroah-Hartman# SPDX-License-Identifier: GPL-2.0 215e64ef6SHelge Deller# 315e64ef6SHelge Dellerconfig LIGHTWEIGHT_SPINLOCK_CHECK 415e64ef6SHelge Deller bool "Enable lightweight spinlock checks" 5a0f4b787SHelge Deller depends on DEBUG_KERNEL && SMP && !DEBUG_SPINLOCK 615e64ef6SHelge Deller default y 715e64ef6SHelge Deller help 815e64ef6SHelge Deller Add checks with low performance impact to the spinlock functions 915e64ef6SHelge Deller to catch memory overwrites at runtime. For more advanced 1015e64ef6SHelge Deller spinlock debugging you should choose the DEBUG_SPINLOCK option 1115e64ef6SHelge Deller which will detect unitialized spinlocks too. 1215e64ef6SHelge Deller If unsure say Y here. 1322552344SHelge Deller 1422552344SHelge Dellerconfig TLB_PTLOCK 1522552344SHelge Deller bool "Use page table locks in TLB fault handler" 16*51c70a09SHelge Deller depends on DEBUG_KERNEL && SMP 1722552344SHelge Deller default n 1822552344SHelge Deller help 1922552344SHelge Deller Select this option to enable page table locking in the TLB 2022552344SHelge Deller fault handler. This ensures that page table entries are 2122552344SHelge Deller updated consistently on SMP machines at the expense of some 2222552344SHelge Deller loss in performance. 2322552344SHelge Deller 24