BOOL __stdcall MiVadLeafPagesPrecharged(INT64 a1){
int v1;
v1 = *(_DWORD *)(a1 + 48);
if( (v1 & 0x100000) != 0 )
{
if( (v1 & 0x400000) != 0 || (v1 & 0xC0000u) >= 0x80000 )
return 1;
}
else if( (*(_DWORD *)(a1 + 64) & 0x1000000) != 0 )
{
return 1;
}
return(*(_BYTE *)(a1 + 48) & 0x70) == 48;
}