INT64 __fastcall MiRecheckVaVm(INT64 a1, UINT64 a2){
unsigned int v2;
__int64 *v3;
__int64 v4;
v2 = 1;
v3 = (__int64 *)((char *)MmGetPteBase() + ((a2 >> 9) & 0x7FFFFFFFF8i64));
v4 = *v3;
MiPteInShadowRange((UINT64)v3);
if( (v4 & 1) == 0 && (v4 & 0xC00) != 2048 )
return 0;
return v2;
}