カーネルモードドライバにおけるデバッグログ出力方法です。
http://msdn.microsoft.com/en-us/library/windows/hardware/ff551519(v=vs.85).aspx
上記を実装後、きちんとデバッグプリントフィルターのマスク設定を実施しておく
必要があります。
1)レジストリエディタを起動します。
2)以下のレジストリキーを作成します。(既存であれば作成の必要ありません)
HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\Session Manager\Debug Print Filter
3)以下の値を設定します。
DWORD型 DEFAULT=0xFFFFFFFF
4)再起動します。
上記の3)の場合は、なんでも出すという指定ですので、まずはこれで試すのが
良いと思います。
