Windows NdisGetCurrentSystemTime与KeQuerySystemTime不同吗？

我发现MinGW Win32兼容层在ndis.h中有以下定义：

#define NdisGetCurrentSystemTime KeQuerySystemTime

在WindK中，定义为：

EXPORT VOID NdisGetCurrentSystemTime(PLARGE_INTEGER pSystemTime);

---

本机NdisXX函数真的没有向KeQuerySystemTime调用添加任何内容吗？或者在本机操作系统中它们之间有很大的区别（允许IRQL等），而不是从MinGW黑客的角度来看？它们与系统计时器的分辨率（可通过

KeQueryPerformanceCounter（）

检索）有不同的关系吗？

一项实验表明，两个时间（NdisGetCurrentSystemTime和KeQuerySystemTime）是相同的，但我仍然需要一些证据证明Ndis*版本具有一些细节

---

要记住的链接（#1）：

不确定原始问题中使用了什么WDK版本，但在当前WDK版本（10.xx）中，定义是

#define NdisGetCurrentSystemTime KeQuerySystemTime