NTSTATUS __stdcall MiDeletePhysmemPte(INT64 a1, UINT64 a2){
__int64 v4;
unsigned __int64 v5;
NTSTATUS result;
LODWORD(v4) = MI_READ_PTE_LOCK_FREE(a2);
v5 = v4 & 0xFFFFFFFFFFFFFBFEui64 | 0x400;
MiPteInShadowRange(a2);
*(_QWORD *)a2 = v5;
MiInsertTbFlushEntry(
*(_MI_TB_FLUSH_LIST **)(a1 + 16),
(VOID *)((__int64)((a2 << 25) - ((_QWORD)MmGetPteBase() << 25)) >> 16),
1ui64,
0i64);
return result;
}