我正在使用最新的 WDK 开发 Windows NDIS 驱动程序,该驱动程序需要一个单调不递减的毫秒分辨率内核时间计数器。我查看了 MSDN 以及 WDK 的文档,但发现除了称为 TsTime 的东西之外没有任何用处,我不确定它只是一个示例的虚构名称还是一个实际变量。我知道 NDISGetCurrentSystemTime,但希望有一些开销较低的东西,比如滴答声或 jiffies,除非 NDISGetCurrentSystemTime 本身是低开销的。
似乎应该有一个低开销的全局变量来存储某种内核时间计数器。任何人都知道这可能是什么?