CcRecalculateVacbArrayHighwaterMark

VOID __stdcall CcRecalculateVacbArrayHighwaterMark(_VACB_ARRAY_HEADER *VacbArrayHeader){
  __int64 v1; 

  LODWORD(v1) = VacbArrayHeader->HighestMappedIndex + 1;
  if( VacbArrayHeader->HighestMappedIndex != -1 )
  {
    do
    {
      v1 = (unsigned int)(v1 - 1);
      if( *((_QWORD *)&VacbArrayHeader[1].HighestMappedIndex + 5 * v1) )
        break;
      VacbArrayHeader->HighestMappedIndex = v1;
    }
    while( (_DWORD)v1 );
  }
}

Referenced by:

CcGetRandomVacbArrayWithReference
CcUnmapInactiveViewsInternal