KeAdjustInterruptTime

UINT8 __stdcall KeAdjustInterruptTime(INT64 TimeDelta, UINT8 AdjustPerfCounter){
  UINT8 result; 
  UINT8 Context; 
  __int16 Context_1; 
  char Context_3; 
  int Context_4; 
  INT64 v9; 
  __int64 v10; 
  int ActiveProcessorCount; 
  int v12; 
  result = 0;
  Context_1 = 0;
  Context_3 = 0;
  v10 = 0i64;
  if( TimeDelta >= 0 )
  {
    Context_4 = *((_DWORD *)KeGetCurrentPrcb() + 9);
    ActiveProcessorCount = KeQueryActiveProcessorCountEx(0xFFFFu);
    v9 = TimeDelta;
    Context = AdjustPerfCounter;
    v12 = 1;
    KeIpiGenericCall((PKIPI_BROADCAST_WORKER)KiCalibrateTimeAdjustment, &Context);
    return 1;
  }
  return result;
}

Referenced by:

InitBootProcessor
KiSetSystemTimeDpc
xHalTscSynchronization