UINT64 __stdcall MI_IS_PTE_IN_WS_SWAP_SET(MMPTE *PointerPte){
_WORD *v1;
__int16 v2;
UINT64 result;
v2 = *(_WORD *)(*((_QWORD *)PointerPte + ((unsigned __int8)HIBYTE(*v1) >> 4) + 868) + 204i64);
result = 1i64;
if( (v2 & 0x10) == 0 && ((v2 & 0x20) == 0 || (*(_QWORD *)v1 & 2) == 0) )
return 0i64;
return result;
}