driver 怎么读写文件？
最近正在调试一个windows下面 kernel-mode 的驱动程序，想用类似应用程序中printf的方式在C盘生成log文件来记录驱动运行的情况。我原来的想法是用 ZwOpenFile() 和 ZwWriteFile() 来实现。问题是 #include <wdm.h> 和 原来的 <miniport.h> 产生了很多重复定义，怎么解决？

不知道我这样思路正不正确，或者能不能提供其他的思路。我的前提是不用Windbg或者dbgview去抓。

[解决办法]
把stdout定义为文件，这样所有调试信息都能输出到文件了。