INTRO (9) NetBSD Kernel Developer's Manual INTRO (9) NAME ...

KASSERT(9) NetBSD Kernel Developer’s Manual KASSERT(9)NAMEKASSERT, KDASSERT —kernel expression verification macrosSYNOPSISvoidKASSERT(expression);voidKDASSERT(expression);DESCRIPTIONThese machine independent assertion-checking macros cause a kernel panic(9) if the given expressionevaluates to false.KASSERT() tests are included only in kernels compiled with the DIAGNOSTIC configuration option. In akernel that does not have this configuration option, the KASSERT() macro is defined to be a no-op.KDASSERT() tests are included only in kernels compiled with the DEBUG configuration option.KDASSERT() and KASSERT() are identical except for the controlling option (DEBUG vs DIAGNOSTIC).The panic message will display the style of assertion (debugging vs. diagnostic), the expression that failedand the filename, and line number the failure happened on.SEE ALSOconfig(1), panic(9), printf(9)AUTHORSThese macros were written by Chris G. Demetriou 〈cgd@netbsd.org〉.NetBSD 3.0 December 10, 2006 1