MinGWWin32互換性レイヤーのndis.hでの定義は次のとおりです。
#define NdisGetCurrentSystemTime KeQuerySystemTime
WinDDKでは、定義は次のとおりです。
EXPORT VOID NdisGetCurrentSystemTime(PLARGE_INTEGER pSystemTime);
ネイティブNdisXX関数は実際にKeQuerySystemTime呼び出しに何も追加していませんか?または、MinGWのハッキングされた観点ではなく、ネイティブOSでそれらの間に大きな違い(許可されたIRQLなど)がありますか?それらは、システムタイマー(を介して取得できますKeQueryPerformanceCounter())の解像度とは異なる関係がありますか?