NTSTATUS __stdcall MiDeleteTopLevelPage(INT64 a1, INT64 a2){
_MMPFN *v2;
unsigned __int64 v3;
_MI_PAGE_DELETE_RESULT v4;
v2 = &MmGetPfnDb()[a2];
v3 = MiLockPageInline(v2);
MiClearContainingMapping(v2);
v2->u2._bf_0 |= 0x4000000000000000ui64;
MiDecrementShareCount(v2);
v4 = MiDecrementShareCount(v2);
_InterlockedAnd64(&v2->u2.Lock, 0x7FFFFFFFFFFFFFFFui64);
__writecr8(v3);
return v4;
}