svn commit: r325386 - head/sys/kern

[Conrad Meyer]

On Sun, Nov 5, 2017 at 11:13 AM, Andriy Gapon <avg at freebsd.org> wrote:
> I guess (only guess) that Conrad is saying that it would be useful to have a
> macro like KASSERT but which would be always active regardless of INVARIANTS.
> E.g. in illumos they have ASSERT and VERIFY.

Yes, exactly.  There are numerous places in the kernel where we have
essentially an unrolled version of that idea, with if + panic.

Best,
Conrad