KiAddSynchCounters

VOID __stdcall KiAddSynchCounters(_SYNCH_COUNTERS *SumProcInfo, _SYNCH_COUNTERS *OneProcInfo){
  _SYNCH_COUNTERS *v2; 
  __int64 v3; 

  v2 = SumProcInfo;
  v3 = 40i64;
  do
  {
    v2->SpinLockAcquireCount += *(unsigned int *)((char *)&v2->SpinLockAcquireCount
                                                + (char *)OneProcInfo
                                                - (char *)SumProcInfo);
    v2 = (_SYNCH_COUNTERS *)((char *)v2 + 4);
    --v3;
  }
  while( v3 );
  SumProcInfo->ExBoostExclusiveOwner += OneProcInfo->ExBoostExclusiveOwner;
  SumProcInfo->ExBoostSharedOwners += OneProcInfo->ExBoostSharedOwners;
}

Referenced by: