MiReleaseFreshPage

VOID __stdcall MiReleaseFreshPage(_MMPFN *Pfn1){
  unsigned __int64 v2; 

  v2 = MiLockPageInline(Pfn1);
  MiReturnFreeZeroPage((INT64)Pfn1);
  _InterlockedAnd64(&Pfn1->u2.Lock, 0x7FFFFFFFFFFFFFFFui64);
  __writecr8(v2);
}

Referenced by: