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 );
}
}