NTSTATUS __stdcall MiRecheckVaVm(_MMSUPPORT_INSTANCE *Vm, VOID *Va){
NTSTATUS v2;
__int64 *v3;
__int64 v4;
v2 = 1;
v3 = (__int64 *)((char *)MmGetPteBase() + (((unsigned __int64)Va >> 9) & 0x7FFFFFFFF8i64));
v4 = *v3;
MiPteInShadowRange((UINT64)v3);
if( (v4 & 1) == 0 && (v4 & 0xC00) != 2048 )
return 0;
return v2;
}