ntoskrnl.exe: Implemented a couple of time-related APIs.

include/ddk/wdm.h

diff --git a/include/ddk/wdm.h b/include/ddk/wdm.h
index f9db943..38b3625 100644
--- a/include/ddk/wdm.h
+++ b/include/ddk/wdm.h
@@ -874,6 +874,9 @@
 PEPROCESS WINAPI IoGetCurrentProcess(void);
 
 PKTHREAD  WINAPI KeGetCurrentThread(void);
+void      WINAPI KeQuerySystemTime(LARGE_INTEGER*);
+void      WINAPI KeQueryTickCount(LARGE_INTEGER*);
+ULONG     WINAPI KeQueryTimeIncrement(void);
 
 LPVOID    WINAPI MmAllocateNonCachedMemory(SIZE_T);
 void      WINAPI MmFreeNonCachedMemory(PVOID,SIZE_T);