LONG
KeReadStateSemaphore(
  IN  PRKSEMAPHORE Semaphore
  );

Routine Description:

    This function reads the current signal state of a semaphore object.

Arguments:

    Semaphore - Supplies a pointer to a dispatcher object of type
        semaphore.

Return Value:

    The current signal state of the semaphore object.