MiLockAndDecrementShareCount

_MI_PAGE_DELETE_RESULT __stdcall MiLockAndDecrementShareCount(_MMPFN *Pfn1, UINT64 Flags){
  char v2; 
  unsigned __int64 v4; 
  _MI_PAGE_DELETE_RESULT v5; 

  v2 = Flags;
  v4 = MiLockPageInline(Pfn1);
  if( (v2 & 1) != 0 )
    Pfn1->u2._bf_0 |= 0x4000000000000000ui64;
  v5 = MiDecrementShareCount(Pfn1);
  _InterlockedAnd64(&Pfn1->u2.Lock, 0x7FFFFFFFFFFFFFFFui64);
  __writecr8(v4);
  return v5;
}

Referenced by: