NTSTATUS __stdcall MiDoubleUnlockMdlPage(_MMPFN *Pfn1){
unsigned __int64 v2;
NTSTATUS result;
v2 = MiLockPageInline(Pfn1);
MiRemoveLockedPageChargeAndDecRef(Pfn1);
_InterlockedAnd64(&Pfn1->u2.Lock, 0x7FFFFFFFFFFFFFFFui64);
result = KiIrqlFlags;
__writecr8(v2);
return result;
}