summaryrefslogtreecommitdiffstats
path: root/sys
diff options
context:
space:
mode:
Diffstat (limited to 'sys')
-rw-r--r--sys/conf/NOTES6
-rw-r--r--sys/conf/options2
-rw-r--r--sys/i386/conf/NOTES6
3 files changed, 14 insertions, 0 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES
index 222d01a..1103ccf 100644
--- a/sys/conf/NOTES
+++ b/sys/conf/NOTES
@@ -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
#####################################################################
diff --git a/sys/conf/options b/sys/conf/options
index 9d21ee6..6f86d74 100644
--- a/sys/conf/options
+++ b/sys/conf/options
@@ -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
diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES
index 222d01a..1103ccf 100644
--- a/sys/i386/conf/NOTES
+++ b/sys/i386/conf/NOTES
@@ -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
#####################################################################
OpenPOWER on IntegriCloud