KeSetTimeAdjustment

VOID __stdcall KeSetTimeAdjustment(){
  __int64 v0; 
  __int64 v1; 
  UINT64 Flags[2]; 
  char LeftShift; 

  *(_OWORD *)Flags = 0i64;
  v1 = v0;
  LeftShift = 0;
  if( v0 != KeTimeAdjustmentFrequency && v0 && (unsigned __int64)(v0 - 2) <= 0xFFFFFFFD )
  {
    Flags[0] = RtlGenerateQpcToIncrementConstants((unsigned int)v0, &LeftShift);
    LOBYTE(Flags[1]) = LeftShift;
    KeTimeAdjustmentFrequency = v1;
    KiUpdateSystemTime(0i64, (UINT64)Flags, 0i64);
  }
}

Referenced by:

ExpUpdateTimerConfigurationWorker