如何从Python3调用KeQueryInterruptTimePrecise（）

Question

我正在使用Windows 10，我想从Python3（我猜为ctypes）中调用KeQueryInterruptTimePrecise函数。 在MSDN上找到this 。

我应该如何进行？

我读到的库是NtosKrnl.exe，所以我尝试使用ctypes模仿示例：

import ctypes
import ctypes.wintypes
NtosKrnl = ctypes.WinDLL('NtosKrnl.exe', use_last_error=True)
print(NtosKrnl.KeQueryInterruptTimePrecise())

我在Admin模式下运行该程序，并希望获取一个int形式的值。相反，我得到这个：

OSError: exception: access violation reading 0xFFFFF78000000340