How can I print debug statements from the Kernel PlugIn that I can view using a kernel debugger, such as WinDbg?
You can use WinDriver’s WD_DebugAdd() API (available from v5.0.3 and above) to print debug messages from your Kernel PlugIn or user mode code to the Debug Monitor utility, and then view the messages in the Debug Monitor log. WD_DebugAdd() can be called from within any user-mode or Kernel PlugIn function, including KP_IntAtIrql(). You can also select to send the debug information from WinDriver’s Debug Monitor to a kernel debugger, as explained in Technical Document #44. In addition, you can add calls in your Kernel PlugIn code to OS kernel functions that print directly to the kernel debugger — such as KdPrint() on Windows , or printk() on Linux.
