> :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.
> :
> :Any opinions?
> :
> :-matt
>
> I don't understand what you want to do. KASSERT() is the standard
> way to assert something in the kernel, but we do not want to bloat
> the code unnecessarily so KASSERT()s only do something if INVARIANT
> support has been turned on.
>
> If we need to panic on something whether or not invariant support has
> been turned on, we currently just use a conditional and a panic.
>
> How would ASSERT be different from KASSERT() ?
>
> -Matt
>
>>I don't seem to see (after not looking very hard) any ASSERT macros for
That's what it was- I grepped for ASSERT, but somehow missed KASSERT-
that's sufficinet for me, I can live with INVARIANTS.
Sorry- I'm a moron- never mind....
To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-current" in the body of the message
