d/freebsd-nq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Since WITNESS doesn't just do mutexes, remove "mutex" from the WITNESS

Browse Source 
comment in GENERIC config files of appropriate platforms.  For whatever
reason, powerpc didn't use WITNESS in GENERIC.
This commit is contained in:
Robert Watson 2002-04-18 03:44:44 +00:00
parent aa4019efa1
commit 91e007dc70
6 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sys/alpha/conf/GENERIC
View File

@ -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

2
sys/alpha/conf/NOTES
View File

@ -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

2
sys/amd64/conf/GENERIC
View File

@ -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

2
sys/i386/conf/GENERIC
View File

@ -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

2
sys/ia64/conf/GENERIC
View File

@ -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

2
sys/sparc64/conf/GENERIC
View File

@ -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