KeReleaseSpinLock

VOID __stdcall KeReleaseSpinLock(UINT64 *SpinLock, UINT8 OldIrql){
  _InterlockedAnd64((volatile signed __int64 *)SpinLock, 0i64);
  __writecr8(OldIrql);
}

Referenced by: