INT64 __fastcall MiPageTableStillExists(INT64 a1, INT64 *a2){
int v2;
__int64 v3;
__int64 v4;
*(_DWORD *)a2 = 0;
v2 = 4;
v3 = 4i64;
while( 1 )
{
--v3;
--v2;
v4 = **(_QWORD **)(a1 + 8 * v3);
if( (v4 & 1) == 0 )
break;
if( (v4 & 0x80u) != 0i64 )
{
*(_DWORD *)a2 = v2;
return 1i64;
}
if( v3 == 1 )
return 1i64;
}
return 0i64;
}