VOID __fastcall MI_CLEAR_RESET_PTE(MMPTE *PointerPte){ INT64 v2; v2 = MI_READ_PTE_LOCK_FREE((INT64)PointerPte); *(_QWORD *)PointerPte = MiUpdatePageFileHighInPte(v2, 0i64); }