:
:I don't seem to see (after not looking very hard) any ASSERT macros for
:the kernel in FreeBSD. It'd be pretty easy to add them, and they're
:awfully useful. They're different from INVARIANT support in that they
:encapsulate (and panic if the assertion is triggered) more inline types of
:condit
> :I don't seem to see (after not looking very hard) any ASSERT macros for
> :the kernel in FreeBSD. It'd be pretty easy to add them, and they're
> :awfully useful. They're different from INVARIANT support in that they
> :encapsulate (and panic if the assertion is triggered) more inline types of
I don't seem to see (after not looking very hard) any ASSERT macros for
the kernel in FreeBSD. It'd be pretty easy to add them, and they're
awfully useful. They're different from INVARIANT support in that they
encapsulate (and panic if the assertion is triggered) more inline types of
conditions.
