Add back in INVARIANT_SUPPORT and expand the comments in NOTES about it
to include the reasoning Eivind justifiably thwapped me over the head with.
This commit is contained in:
parent
7b4a30b689
commit
34b15f2a20
Notes:
svn2git
2020-12-20 02:59:44 +00:00
svn path=/head/; revision=72989
@ -353,6 +353,19 @@ options KTR_VERBOSE
|
||||
#
|
||||
options INVARIANTS
|
||||
|
||||
#
|
||||
# The INVARIANT_SUPPORT option makes us compile in support for
|
||||
# verifying some of the internal structures. It is a prerequisite for
|
||||
# 'INVARIANTS', as enabling 'INVARIANTS' will make these functions be
|
||||
# called. The intent is that you can set 'INVARIANTS' for single
|
||||
# source files (by changing the source file or specifying it on the
|
||||
# command line) if you have 'INVARIANT_SUPPORT' enabled. Also, if you
|
||||
# wish to build a kernel module with 'INVARIANTS', then adding
|
||||
# 'INVARIANT_SUPPORT' to your kernel will provide all the necessary
|
||||
# infrastructure without the added overhead.
|
||||
#
|
||||
options INVARIANT_SUPPORT
|
||||
|
||||
#
|
||||
# The DIAGNOSTIC option is used to enable extra debugging information
|
||||
# from some parts of the kernel. As this makes everything more noisy,
|
||||
|
@ -360,6 +360,7 @@ DEBUG_LOCKS opt_global.h
|
||||
DEBUG_VFS_LOCKS opt_global.h
|
||||
DIAGNOSTIC opt_global.h
|
||||
ENABLE_VFS_IOOPT opt_global.h
|
||||
INVARIANT_SUPPORT opt_global.h
|
||||
INVARIANTS opt_global.h
|
||||
SIMPLELOCK_DEBUG opt_global.h
|
||||
VFS_BIO_DEBUG opt_global.h
|
||||
|
@ -353,6 +353,19 @@ options KTR_VERBOSE
|
||||
#
|
||||
options INVARIANTS
|
||||
|
||||
#
|
||||
# The INVARIANT_SUPPORT option makes us compile in support for
|
||||
# verifying some of the internal structures. It is a prerequisite for
|
||||
# 'INVARIANTS', as enabling 'INVARIANTS' will make these functions be
|
||||
# called. The intent is that you can set 'INVARIANTS' for single
|
||||
# source files (by changing the source file or specifying it on the
|
||||
# command line) if you have 'INVARIANT_SUPPORT' enabled. Also, if you
|
||||
# wish to build a kernel module with 'INVARIANTS', then adding
|
||||
# 'INVARIANT_SUPPORT' to your kernel will provide all the necessary
|
||||
# infrastructure without the added overhead.
|
||||
#
|
||||
options INVARIANT_SUPPORT
|
||||
|
||||
#
|
||||
# The DIAGNOSTIC option is used to enable extra debugging information
|
||||
# from some parts of the kernel. As this makes everything more noisy,
|
||||
|
Loading…
Reference in New Issue
Block a user