是不可以分配0大小。DDK中有明确说明:
Note Do not set NumberOfBytes = 0. Avoid zero-length allocations because they waste pool header space and, in many cases, indicate a potential validation issue in the calling code. For this reason, Driver Verifier flags such allocations as possible errors.
有什么特别需求要这么做么?
这是NT内核常用的一种优化手段,没有深入了解过编译器的术语如何称呼这种优化,下面这个网页的描述还是很不错的:
http://www.codemachine.com/article_paramreuse.html
基于现有的信息,基本要靠猜...
上传dump或者至少完整贴出!analyze -v的结果