Add and document the WITNESS_SKIPSPIN and WITNESS_DDB kernel options.

This commit is contained in:
John Baldwin 2000-10-27 03:00:28 +00:00
parent a5a96a1978
commit 660d1e3a9d
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=67677
3 changed files with 14 additions and 0 deletions

View File

@ -139,8 +139,14 @@ options APIC_IO # Symmetric (APIC) I/O
# MUTEX_DEBUG enables various extra assertions in the mutex code.
# WITNESS enables the mutex witness code which detects deadlocks and cycles
# during locking operations.
# WITNESS_DDB causes the witness code to drop into the kernel debugger if
# a lock heirarchy violation occurs or if locks are held when going to
# sleep.
# WITNESS_SKIPSPIN disables the witness checks on spin mutexes.
options MUTEX_DEBUG
options WITNESS
options WITNESS_DDB
options WITNESS_SKIPSPIN
#####################################################################

View File

@ -466,6 +466,8 @@ KTR_ENTRIES opt_global.h
KTR_EXTEND opt_global.h
MUTEX_DEBUG opt_global.h
WITNESS opt_global.h
WITNESS_DDB opt_witness.h
WITNESS_SKIPSPIN opt_witness.h
# options for ACPI support
ACPI_DEBUG opt_acpi.h

View File

@ -139,8 +139,14 @@ options APIC_IO # Symmetric (APIC) I/O
# MUTEX_DEBUG enables various extra assertions in the mutex code.
# WITNESS enables the mutex witness code which detects deadlocks and cycles
# during locking operations.
# WITNESS_DDB causes the witness code to drop into the kernel debugger if
# a lock heirarchy violation occurs or if locks are held when going to
# sleep.
# WITNESS_SKIPSPIN disables the witness checks on spin mutexes.
options MUTEX_DEBUG
options WITNESS
options WITNESS_DDB
options WITNESS_SKIPSPIN
#####################################################################