INT64 __fastcall MiReturnPfnReferenceCount(_MMPFN *Pfn1){
unsigned __int64 v2;
unsigned int v3;
v2 = (unsigned __int8)MiLockPageInline((INT64)Pfn1);
v3 = MiRemoveLockedPageChargeAndDecRef(Pfn1);
_InterlockedAnd64((volatile signed __int64 *)Pfn1 + 3, 0x7FFFFFFFFFFFFFFFui64);
__writecr8(v2);
return v3;
}