summaryrefslogtreecommitdiffstats
path: root/share/man/man9/SPLASSERT.9
diff options
context:
space:
mode:
Diffstat (limited to 'share/man/man9/SPLASSERT.9')
-rw-r--r--share/man/man9/SPLASSERT.95
1 files changed, 3 insertions, 2 deletions
diff --git a/share/man/man9/SPLASSERT.9 b/share/man/man9/SPLASSERT.9
index dd75759..b00ccbd 100644
--- a/share/man/man9/SPLASSERT.9
+++ b/share/man/man9/SPLASSERT.9
@@ -37,7 +37,7 @@
.Sh SYNOPSIS
.Cd options INVARIANTS
.Cd options INVARIANT_SUPPORT
-.Fn SPLASSERT "char *level, char *msg"
+.Fn SPLASSERT "level, const char *msg"
.Sh DESCRIPTION
In a kernel compiled with both "options INVARIANTS"
and "options INVARIANT_SUPPORT",
@@ -80,7 +80,7 @@ macro is defined to
.Xr panic 9 .
.Sh EXAMPLES
The kernel function
-.Fn rtredirect
+.Fn rtalloc
must be called at
.Fn splnet :
.Bd -literal -offset indent
@@ -95,6 +95,7 @@ rtalloc(ro)
.Pp
.Sh SEE ALSO
.Xr config 8 ,
+.Xr CONDSPLASSERT 9 ,
.Xr KASSERT 9 ,
.Xr panic 9
.Sh AUTHORS
OpenPOWER on IntegriCloud