VOID __stdcall MiLockAndInsertPageInFreeList(_MMPFN *Pfn1){
signed __int64 v2;
unsigned __int64 v3;
v2 = (Pfn1 - MmGetPfnDb()) / 48;
v3 = (unsigned __int8)MiLockPageInline((INT64)Pfn1);
MiInsertPageInFreeOrZeroedList(v2, 2ui64);
_InterlockedAnd64((volatile signed __int64 *)Pfn1 + 3, 0x7FFFFFFFFFFFFFFFui64);
__writecr8(v3);
}