CcReferenceVacbArray

_VACB_ARRAY_HEADER *__stdcall CcReferenceVacbArray(UINT64 VacbArrayIndex){
  _VACB_ARRAY_HEADER *v1; 
  _VACB_ARRAY_HEADER *v2; 
  v1 = 0i64;
  v2 = *(_VACB_ARRAY_HEADER **)(CcVacbArrays + 8i64 * (unsigned int)VacbArrayIndex);
  if( v2 )
  {
    ++v2->MappingCount;
    v1 = v2;
    if( v2->VacbArrayIndex != (_DWORD)VacbArrayIndex )
      KeBugCheckEx(0x34u, 0x13Fui64, 0xFFFFFFFFC0000420ui64, 0i64, 0i64);
  }
  return v1;
}

Referenced by: