quoting it all and adding commas).
Don't say that the expression in KASSERT() is an int. It is a collection
of tokens forming a C expression that can be compared with 0.
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".