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