> Hmm… is there any way I can get something like that to work in the x64 free
build?
If I run DbgView, it is clear that something is generating debug output.
KdPrint = macro
DbgPrint = printf-like kernel API.
Look into WDK headers (wdm.h), you’ll find this:
#if DBG
#define KdPrint(x) DbgPrint x
…
#else
#define KdPrint(x)
…
#endif
You can either use DbgPrint directly, or you can create your own macro,
like MyKdPrint.
L.