// dispmprt.h
VOID DlDebugPrint(
DEBUG_LEVEL DebugPrintLevel,
PSTR DebugMessage,
...
);
View the official Windows Driver Kit DDI referenceNo description available.
Prints the specified debug message to the kernel debugger.
DebugPrintLevelSpecifies the level of debug messages to be printed.
DebugMessagePointer to a string containing the debug message to be printed.
...Additional parameters.