VOID
KeQuerySystemTime(
  OUT PLARGE_INTEGER CurrentTime
  );

Routine Description:

    This function returns the current system time by determining when the
    time is stable and then returning its value.

Arguments:

    CurrentTime - Supplies a pointer to a variable that will receive the
        current system time.

Return Value:

    None.