NTSTATUS __stdcall MiIsVadLarge(INT64 a1){
int v1;
v1 = *(_DWORD *)(a1 + 48);
if( (v1 & 0x100000) != 0 )
{
if( (v1 & 0x400000) == 0 && (v1 & 0xC0000u) < 0x80000 )
return 0;
}
else if( (*(_DWORD *)(a1 + 64) & 0x1000000) == 0 )
{
return 0;
}
return 1;
}