Я работаю над драйвером Windows NDIS, использующим последний WDK, который нуждается в счетчике времени ядра с разрешением в миллисекундах, который монотонно не уменьшается. Я просмотрел MSDN, а также документацию WDK, но не нашел ничего полезного, кроме того, что называется TsTime, и я не уверен, является ли это только выдуманным именем для примера или реальной переменной. Мне известно о NDISGetCurrentSystemTime, но я хотел бы иметь что-то с меньшими накладными расходами, например, тики или джиффи, если только само NDISGetCurrentSystemTime не требует минимальных накладных расходов.
Похоже, что должна быть глобальная переменная с малыми издержками, которая хранит какой-то счетчик времени ядра. Кто-нибудь знает, что это может быть?