diff options
| author | rwatson <rwatson@FreeBSD.org> | 2002-04-18 03:44:44 +0000 |
|---|---|---|
| committer | rwatson <rwatson@FreeBSD.org> | 2002-04-18 03:44:44 +0000 |
| commit | 0e75d837786bd5808832b1e399c824ee03b2c552 (patch) | |
| tree | a0b07032896dd255a4004b23b5a66ee10bd17a54 | |
| parent | fc9f51621b230cc70b7bcd43335e63af4db92178 (diff) | |
| download | FreeBSD-src-0e75d837786bd5808832b1e399c824ee03b2c552.zip FreeBSD-src-0e75d837786bd5808832b1e399c824ee03b2c552.tar.gz | |
Since WITNESS doesn't just do mutexes, remove "mutex" from the WITNESS
comment in GENERIC config files of appropriate platforms. For whatever
reason, powerpc didn't use WITNESS in GENERIC.
| -rw-r--r-- | sys/alpha/conf/GENERIC | 2 | ||||
| -rw-r--r-- | sys/alpha/conf/NOTES | 2 | ||||
| -rw-r--r-- | sys/amd64/conf/GENERIC | 2 | ||||
| -rw-r--r-- | sys/i386/conf/GENERIC | 2 | ||||
| -rw-r--r-- | sys/ia64/conf/GENERIC | 2 | ||||
| -rw-r--r-- | sys/sparc64/conf/GENERIC | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/sys/alpha/conf/GENERIC b/sys/alpha/conf/GENERIC index d71eedf..97c40aa 100644 --- a/sys/alpha/conf/GENERIC +++ b/sys/alpha/conf/GENERIC @@ -74,7 +74,7 @@ options _KPOSIX_PRIORITY_SCHEDULING options DDB #Enable the kernel debugger options INVARIANTS #Enable calls of extra sanity checking options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS -#options WITNESS #Enable mutex checks to detects deadlocks and cycles +#options WITNESS #Enable checks to detects deadlocks and cycles # To make an SMP kernel, the next line is needed options SMP # Symmetric MultiProcessor Kernel diff --git a/sys/alpha/conf/NOTES b/sys/alpha/conf/NOTES index d71eedf..97c40aa 100644 --- a/sys/alpha/conf/NOTES +++ b/sys/alpha/conf/NOTES @@ -74,7 +74,7 @@ options _KPOSIX_PRIORITY_SCHEDULING options DDB #Enable the kernel debugger options INVARIANTS #Enable calls of extra sanity checking options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS -#options WITNESS #Enable mutex checks to detects deadlocks and cycles +#options WITNESS #Enable checks to detects deadlocks and cycles # To make an SMP kernel, the next line is needed options SMP # Symmetric MultiProcessor Kernel diff --git a/sys/amd64/conf/GENERIC b/sys/amd64/conf/GENERIC index d24a999..6a2eafd 100644 --- a/sys/amd64/conf/GENERIC +++ b/sys/amd64/conf/GENERIC @@ -56,7 +56,7 @@ options KBD_INSTALL_CDEV # install a CDEV entry in /dev options DDB #Enable the kernel debugger options INVARIANTS #Enable calls of extra sanity checking options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS -options WITNESS #Enable mutex checks to detects deadlocks and cycles +options WITNESS #Enable checks to detects deadlocks and cycles options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed # To make an SMP kernel, the next two are needed diff --git a/sys/i386/conf/GENERIC b/sys/i386/conf/GENERIC index d24a999..6a2eafd 100644 --- a/sys/i386/conf/GENERIC +++ b/sys/i386/conf/GENERIC @@ -56,7 +56,7 @@ options KBD_INSTALL_CDEV # install a CDEV entry in /dev options DDB #Enable the kernel debugger options INVARIANTS #Enable calls of extra sanity checking options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS -options WITNESS #Enable mutex checks to detects deadlocks and cycles +options WITNESS #Enable checks to detects deadlocks and cycles options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed # To make an SMP kernel, the next two are needed diff --git a/sys/ia64/conf/GENERIC b/sys/ia64/conf/GENERIC index f15a7fc..5968686 100644 --- a/sys/ia64/conf/GENERIC +++ b/sys/ia64/conf/GENERIC @@ -62,7 +62,7 @@ options SMP options DDB #Enable the kernel debugger options INVARIANTS #Enable calls of extra sanity checking options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS -#options WITNESS #Enable mutex checks to detects deadlocks and cycles +#options WITNESS #Enable checks to detects deadlocks and cycles # Standard busses device isa diff --git a/sys/sparc64/conf/GENERIC b/sys/sparc64/conf/GENERIC index 001dfa0..d938cf6 100644 --- a/sys/sparc64/conf/GENERIC +++ b/sys/sparc64/conf/GENERIC @@ -61,7 +61,7 @@ options DDB #Enable the kernel debugger options BREAK_TO_DEBUGGER #a BREAK on a comconsole drops to DDB options INVARIANTS #Enable calls of extra sanity checking options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS -#options WITNESS #Enable mutex checks to detects deadlocks and cycles +#options WITNESS #Enable checks to detects deadlocks and cycles # To make an SMP kernel, the next line is needed options SMP # Symmetric MultiProcessor Kernel |
