KiRestoreClockTickRate

void __fastcall KiRestoreClockTickRate(INT64 a1, _QWORD *a2){
  _QWORD *v2; 
  __int64 ClockIntervalOneShot; 
  __int64 v4; 
  __int64(__fastcall *v5)(); 

  v2 = a2;
  if( KiClockOwnerOneShotRequestState )
  {
    ClockIntervalOneShot = (unsigned int)KiGetClockIntervalOneShot(KiClockOwnerOneShotRequest, a1);
    v4 = 1i64;
  }
  else
  {
    ClockIntervalOneShot = (unsigned int)KiLastRequestedTimeIncrement;
    v4 = 0i64;
  }
  v5 = off_140C00890[0];
  *v2 = ClockIntervalOneShot;
  ((void(__fastcall *)(__int64))v5)(v4);
  KiSetPendingTick(1u);
}

Referenced by:

KeClockInterruptNotify
KeResumeClockTimerFromIdle
KiResumeClockTimer