K 10
svn:author
V 3
jmb
K 8
svn:date
V 27
2000-01-16T02:10:21.000000Z
K 7
svn:log
V 379
        Add SPLASSERT() macro.  SPLASSERT() compiles to a no-op
        unless both "option INVARIANTS" and "options INVARIANT_SUPPORT"
        are defined in the kernel's config(8) file.

        SPLASSERT(expression, msg) used KASSERT to check that the
        expression is true, panic()ing the kernel otherwise.

Approved by: jkh
Reviewed by: jdp, dfr, phk, eivind and green

END