如何在 DriverStudio 生成的代码中直接调用 DDK 的函数?

查遍了 DriverStudio 文档，只看到在 non-framework 的代码中调用 KTrace 一些类，但没看到如何在 framework 的代码中调用 DDK 的一些 kernel routine 函数，例如 KeQuerySystemTime 函数。DriverStudio 类库中又没有包含所有 DDK 函数的封装，应该提供调用方法吧。例如在 MFC 代码中，直接调用 win32 api 函数是没问题的。
我试验在 ImDelay 那个例子的 OnSend() 函数中调用 KeQuerySystemTime，结果编译报错说 identifiler not found, 估计是没有找到声明。 但是直接加个 #include <ntddk.h> 又会冒出来一堆错说 redefinition。 我 google 到一些信息说要加个 BINARY_COMPATIBLE = 0，试了试也没用，而且在 DriverStudio 的文档中影子也没找着。
不知道是我文档没找到地方，还是 DriverStudio 确实不能这么干，困惑啊，恳请高手给予指点帮助！多谢了！

搞定了，自顶一个。
写网卡驱动和其它驱动是两类，用的框架也是两套，DriverNetworks 和 DriverWorks, 在网卡驱动就只能调 NdisGetSystemTime 来获取系统时间，我试过了，直接调就OK。