diff options
Diffstat (limited to 'share/man/man9/CONDSPLASSERT.9')
-rw-r--r-- | share/man/man9/CONDSPLASSERT.9 | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/share/man/man9/CONDSPLASSERT.9 b/share/man/man9/CONDSPLASSERT.9 index 24df198..7d54128 100644 --- a/share/man/man9/CONDSPLASSERT.9 +++ b/share/man/man9/CONDSPLASSERT.9 @@ -38,29 +38,31 @@ .Cd options INVARIANT_SUPPORT .Fn CONDSPLASSERT condition level "const char *msg" .Sh DESCRIPTION -.Sy This API is deprecated. -.Sy Use mutexes to protect data structures instead. -.Sy See +.Bf -symbolic +This API is deprecated. +Use mutexes to protect data structures instead. +See .Xr mutex 9 -.Sy for more information. +for more information. +.Ef .Pp In a kernel compiled with both "options INVARIANTS" and "options INVARIANT_SUPPORT", the .Fn CONDSPLASSERT macro compares the current spl level of the kernel with the spl -.Ar level +.Fa level specified in the macro .Fn CONDSPLASSERT if the specified condition is met. If the specified -.Ar level +.Fa level is not active .Fn CONDSPLASSERT calls the .Fn KASSERT macro with the -.Ar msg, +.Fa msg , terminating the running system. .Pp In a kernel that does not have both "options INVARIANTS" |