Отличается ли NdisGetCurrentSystemTime от KeQuerySystemTime?

Question

Я обнаружил, что уровень совместимости MinGW Win32 имеет следующее определение в ndis.h:

#define NdisGetCurrentSystemTime KeQuerySystemTime

В WinDDK определение:

EXPORT VOID NdisGetCurrentSystemTime(PLARGE_INTEGER pSystemTime);

Действительно ли собственная функция NdisXX ничего не добавляет к вызову KeQuerySystemTime? Или есть большая разница (допускается IRQL и т. Д.) Между ними в родной ОС, а не в взломанной точке зрения MinGW? Они по-разному относятся к разрешению системного таймера (которое можно получить с помощью KeQueryPerformanceCounter())?

Answer 1

Эксперимент показал, что два раза (NdisGetCurrentSystemTime и KeQuerySystemTime) идентичны, однако мне все еще нужны некоторые доказательства того, что версия Ndis * несет в себе некоторые особенности.

Ссылка для запоминания (# 1): http://social.msdn.microsoft.com/Forums/en-US/wdk/thread/75c08500-e788-49c1-ac5f-9beb8101bdde

Answer 2

Не уверен, какая версия WDK использовалась в исходном вопросе, но в текущей версии WDK (10.xx) определение: #define NdisGetCurrentSystemTime KeQuerySystemTime.