summaryrefslogtreecommitdiffstats
path: root/share/man/man9/CONDSPLASSERT.9
diff options
context:
space:
mode:
Diffstat (limited to 'share/man/man9/CONDSPLASSERT.9')
-rw-r--r--share/man/man9/CONDSPLASSERT.916
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"
OpenPOWER on IntegriCloud