MiUnlockPage

VOID __stdcall MiUnlockPage(_MMPFN *Pfn1, UINT8 OldIrql){
  _InterlockedAnd64((volatile signed __int64 *)Pfn1 + 3, 0x7FFFFFFFFFFFFFFFui64);
  __writecr8(OldIrql);
}

Referenced by: