WmiGetClock

__int64 __fastcall WmiGetClock(int a1){
  __int64 v2; 
  __int64 result; 
  int v4; 
  v2 = PsGetCurrentServerSiloGlobals()[108];
  result = 0i64;
  if( a1 )
  {
    if( a1 != 2 )
    {
      if( a1 > 2 )
      {
        if( a1 <= 4 )
          return result;
        if( a1 == 5 )
          return __rdtsc();
      }
      return RtlGetSystemTimePrecise();
    }
    return KeQueryPerformanceCounter(0i64).QuadPart;
  }
  v4 = *(unsigned __int8 *)(v2 + 4209) - 2;
  if( v4 )
  {
    if( v4 == 1 )
      return __rdtsc();
    return KeQueryPerformanceCounter(0i64).QuadPart;
  }
  return RtlGetSystemTimePrecise();
}

Referenced by: