KeReleaseSpinLock

VOID *__stdcall KeReleaseSpinLock(PKSPIN_LOCK SpinLock, _KIRQL NewIrql){
  VOID *result; 

  _InterlockedAnd64((volatile signed __int64 *)SpinLock, 0i64);
  result = (VOID *)(unsigned int)KiIrqlFlags;
  __writecr8((unsigned __int8)NewIrql);
  return result;
}

Referenced by: