NTSTATUS __stdcall MiGetVadMandatoryPageSize(INT64 a1){
unsigned int v1;
__int64 v2;
__int64 v3;
v1 = *(_DWORD *)(a1 + 48);
v2 = (v1 >> 18) & 3;
if( (unsigned __int64)MiVadPageSizes[v2] >= 0x200 || (v1 & 0x400000) != 0 )
return MiVadPageSizes[v2];
else
LODWORD(v3) = 1;
return v3;
}