INT64 __fastcall MiGetNumberOfCachedPtes(INT64 a1){
__int64 v1;
INT64 result;
int *v3;
__int64 v4;
__int64 v5;
v1 = *(_QWORD *)(a1 + 80);
result = 0i64;
if( v1 && KeNumberNodes )
{
v3 = (int *)(v1 + 64);
v4 = (unsigned __int16)KeNumberNodes;
do
{
v5 = *v3;
v3 += 18;
result += v5;
--v4;
}
while( v4 );
}
return result;
}