KiUpdateTimer2Collections

CHAR __stdcall KiUpdateTimer2Collections(_BYTE *a1){
  char *v1; 
  char v2; 
  __int64 v3; 
  CHAR result; 

  v1 = byte_14001A751;
  v2 = a1[129] & 0x1E;
  v3 = 6i64;
  do
  {
    if( *(v1 - 1) == v2 )
    {
      a1[130] = *v1;
      result = v1[1];
      a1[131] = result;
    }
    v1 += 3;
    --v3;
  }
  while( v3 );
  return result;
}

Referenced by:

KeSetTimer2
KiExpireTimer2