UINT64 __stdcall MiIoPagesInRun(UINT64 PageFrameIndex, UINT64 NumberOfPages){
UINT64 v2;
_QWORD *v3;
v2 = 0i64;
v3 = (_QWORD *)((char *)MmGetPfnDb() + 48 * PageFrameIndex + 40);
do
{
if( PageFrameIndex <= 0xFFFFFFFFFi64 && ((*v3 >> 50) & 1) != 0 )
break;
++v2;
if( !--NumberOfPages )
break;
++PageFrameIndex;
v3 += 6;
}
while( (PageFrameIndex & 0x1FF) != 0 );
return v2;
}