MiLockAndDecrementShareCount

INT64 __fastcall MiLockAndDecrementShareCount(UINT64 a1, CHAR a2){
  unsigned __int64 v4; 
  unsigned int v5; 
  v4 = (unsigned __int8)MiLockPageInline(a1);
  if( (a2 & 1) != 0 )
    *(_QWORD *)(a1 + 24) |= 0x4000000000000000ui64;
  v5 = MiDecrementShareCount(a1);
  _InterlockedAnd64((volatile signed __int64 *)(a1 + 24), 0x7FFFFFFFFFFFFFFFui64);
  __writecr8(v4);
  return v5;
}

Referenced by: