VOID __stdcall MI_MAKE_PROTECT_WRITE_COPY(_MMPTE *PointerPte){ INT64 v2; v2 = MI_READ_PTE_LOCK_FREE((INT64)PointerPte); if( (v2 & 0x80u) != 0i64 ) *(_QWORD *)PointerPte = v2 | 0x20; }