MiDecrementModifiedWriteCount

VOID __stdcall MiDecrementModifiedWriteCount(_CONTROL_AREA *ControlArea, _BYTE *LockHeld){
  volatile LONG *v2; 
  KIRQL v4; 
  v2 = (volatile LONG *)((char *)ControlArea + 72);
  if( (_DWORD)LockHeld == 1 )
    v4 = 17;
  else
    v4 = ExAcquireSpinLockExclusive(v2);
  --*((_DWORD *)ControlArea + 19);
  MiBuildWakeList(ControlArea, 8ui64);
  if( v4 != 17 )
  {
    ExReleaseSpinLockExclusiveFromDpcLevel((INT64 *)v2);
    __writecr8(v4);
  }
}

Referenced by: