Documentation 为KMDF驱动程序添加64位支持的指南

是否有关于向KMDF驱动程序添加64位支持的指南或文档？我有一套很好的WDM驱动程序链接，但是如果能看到一个KMDF特定的指南，说明KMDF为您处理了什么，以及驱动程序需要处理什么，那就太好了

编辑：以下是我到目前为止的链接：

---

无论您使用KMDF还是WDM，问题都完全相同

• 您需要确保您的驱动程序不包含假定指针或句柄与整数大小相同的代码

• 您需要使用DMA功能，而不是假设您的设备可以寻址所有内存

• 您需要重新编译和测试

• 您需要避免在驱动程序中使用浮点代码