Quelle  Kconfig.debug   Sprache: unbekannt

# SPDX-License-Identifier: GPL-2.0
#
config LIGHTWEIGHT_SPINLOCK_CHECK
 bool "Enable lightweight spinlock checks"
 depends on DEBUG_KERNEL && SMP && !DEBUG_SPINLOCK
 default y
 help
   Add checks with low performance impact to the spinlock functions
   to catch memory overwrites at runtime. For more advanced
   spinlock debugging you should choose the DEBUG_SPINLOCK option
   which will detect unitialized spinlocks too.
   If unsure say Y here.

config TLB_PTLOCK
 bool "Use page table locks in TLB fault handler"
 depends on DEBUG_KERNEL && SMP
 default n
 help
   Select this option to enable page table locking in the TLB
   fault handler. This ensures that page table entries are
   updated consistently on SMP machines at the expense of some
   loss in performance.