// Public nt-lite DDK timer declarations.

#pragma once

#include <stdint.h>



__declspec(dllexport) uint64_t KeQueryTicks(void);
__declspec(dllexport) void KeStallExecution(uint32_t microseconds);