Both:

  Get rid of the "char *" before level which made no sense.  Change
  "char *msg" to the properly const-unpoisoned one.

Just SPLASSERT.9:
  Add an Xref to CONDSPLASSERT(9).  Change the function name "rtredirect"
  to the correct "rtalloc".

2 files changed, 4 insertions, 3 deletions

diff --git a/share/man/man9/CONDSPLASSERT.9 b/share/man/man9/CONDSPLASSERT.9
index e52462b..2e7e5ed 100644
--- a/share/man/man9/CONDSPLASSERT.9
+++ b/share/man/man9/CONDSPLASSERT.9
@@ -36,7 +36,7 @@
 .Sh SYNOPSIS
 .Cd options INVARIANTS
 .Cd options INVARIANT_SUPPORT
-.Fn CONDSPLASSERT "condition, char *level, char *msg"
+.Fn CONDSPLASSERT "condition, level, const char *msg"
 .Sh DESCRIPTION
 In a kernel compiled with both "options INVARIANTS"
 and "options INVARIANT_SUPPORT",
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