Ad more routines for semaphores support

sdk/xtdk/kefuncs.h

@@ -35,6 +35,17 @@ VOID
 KeInitializeTimerEx(OUT PKTIMER Timer,
                     IN KTIMER_TYPE Type);
 
+XTAPI
+LONG
+KeReadSemaphoreState(IN PKSEMAPHORE Semaphore);
+
+XTAPI
+LONG
+KeReleaseSemaphore(IN PKSEMAPHORE Semaphore,
+                   IN KPRIORITY Increment,
+                   IN LONG Adjustment,
+                   IN BOOLEAN Wait);
+
 XTAPI
 VOID
 KeStartXtSystem(IN PKERNEL_INITIALIZATION_BLOCK Parameters);