winapi - Windows kernel equivalent to FreeBSD's ticks or Linux' jiffies in the latest WDK -

i working on windows ndis driver using latest wdk in need of millisecond resolution kernel time counter monotonically non-decreasing. looked through msdn wdk's documentation found nothing useful except called tstime, not sure whether made-up name example or actual variable. aware of ndisgetcurrentsystemtime, have lower-overhead ticks or jiffies, unless ndisgetcurrentsystemtime low-overhead.

it seems there ought low-overhead global variable stores sort of kernel time counter. has insight on may be?

use kequerytickcount. , perhaps use kequerytimeincrement once able convert tick count more meaningful time unit.