// wdm.h

VOID KeReleaseSpinLock(
  PKSPIN_LOCK SpinLock,
  KIRQL       NewIrql
);
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Windows Driver Kit DDI reference (nf-wdm-kereleasespinlock)

The KeReleaseSpinLock routine releases a spin lock and restores the original IRQL at which the caller was running.

Pointer to a KSPIN_LOCK spin lock for which the caller provides the storage.

Specifies the KIRQL value saved from the preceding call to KeAcquireSpinLock.

This call is a reciprocal to KeAcquireSpinLock. The input NewIrql value must be the OldIrql returned by KeAcquireSpinLock.

For more information about spin locks, see Spin Locks.

Callers of this routine are running at IRQL = DISPATCH_LEVEL. On return from KeReleaseSpinLock, IRQL is restored to the NewIrql value.