4.3.3 Debugging Macros

This section describes the ASSERT and PRINT macros provided with the DDK.

The ntddk.h file defines a pair of macros that provide additional debugging information when used in a checked version of a kernel-mode driver. The ASSERT and ASSERTMSG macros are defined as no-ops if the DBG compiler variable is defined as 0 (free build).