MiUnlockPagedAddress

VOID __stdcall MiUnlockPagedAddress(VOID *VirtualAddress){
  UINT64 v1; 
  UINT64 v2; 
  _MMPFN *v3; 
  unsigned __int64 v4; 
  UINT64 v5; 

  LODWORD(v1) = MI_READ_PTE_LOCK_FREE((INT64)MmGetPteBase() + (((unsigned __int64)VirtualAddress >> 9) & 0x7FFFFFFFF8i64));
  v5 = v1;
  v2 = v1;
  MiPteInShadowRange((UINT64)&v5);
  v3 = &MmGetPfnDb()[(v2 >> 12) & 0xFFFFFFFFFi64];
  v4 = MiLockPageInline(v3);
  MiRemoveLockedPageChargeAndDecRef(v3);
  _InterlockedAnd64(&v3->u2.Lock, 0x7FFFFFFFFFFFFFFFui64);
  __writecr8(v4);
}

Referenced by:

MiFreeCloneDescriptor
MiFreeClonePool
MiFreeCombinePool
MiFreePatchTableProtos
MiLockPagedRange