UINT64 __stdcall MiIsPteEvaluated(MMPTE *RealPte, UINT64 ProtectionMask){
__int64 v2;
INT64 v3;
unsigned __int64 v5;
v2 = (unsigned int)ProtectionMask;
v3 = MI_READ_PTE_LOCK_FREE((INT64)RealPte);
return v3 && ((v3 & 1) != 0 || (v3 & 0x400) == 0 || !MiIsPrototypePteVadLookup(v3) || ((v5 >> 5) & 0x1F) != v2);
}