KeQueryCycleTimeStatsProcessor

INT64 __fastcall KeQueryCycleTimeStatsProcessor(INT64 a1, _QWORD *a2){
  INT64 v2; 
  __int64 v3; 
  __int64 v4; 
  INT64 result; 
  v2 = a1 - (_QWORD)a2;
  v3 = 4i64;
  do
  {
    v4 = 2i64;
    do
    {
      result = *(_QWORD *)((char *)a2 + v2 + 32576);
      *a2++ = result;
      --v4;
    }
    while( v4 );
    --v3;
  }
  while( v3 );
  return result;
}

Referenced by:

ExpQuerySystemInformation
PopEtIsrDpcQuery