MiUnlockPage

VOID __stdcall MiUnlockPage(_MMPFN *Pfn1, UINT8 OldIrql){
  _InterlockedAnd64(&Pfn1->u2.Lock, 0x7FFFFFFFFFFFFFFFui64);
  __writecr8(OldIrql);
}

Referenced by: