On Tue, Jan 25, 2011 at 11:46:48PM +0000, YAMAMOTO Takashi wrote: > - add some random notes > > Basically, KASSERT() should be used for light-weight checks and > KDASSERT() should be used for heavier ones. > > Callers should not rely on the side effects of expression because, > depending on the kernel compile options mentioned above, expression might > not be evaluated at all.
I guess the newly added KDASSERTMSG() should be documented too. - Jukka.