// wdm.h
VOID ExReleaseSpinLockExclusive(
[in, out] PEX_SPIN_LOCK SpinLock,
[in] KIRQL OldIrql
);
View the official Windows Driver Kit DDI referenceNo description available.
The ExReleaseSpinLockExclusive routine releases a spin lock that the caller previously acquired for exclusive access, and restores the IRQL to its original value.
SpinLock [in, out]A pointer to the spin lock to release. The caller must own this spin lock for exclusive access.
OldIrql [in]The interrupt request level (IRQL) to restore. Set this parameter to the KIRQL value that was returned by the ExAcquireSpinLockExclusive call that acquired the spin lock.
This routine must be called only for a spin lock that is owned by the caller.
On entry to this routine, the caller must be running at IRQL = DISPATCH_LEVEL. Before exiting, ExReleaseSpinLockExclusive restores the IRQL to the value specified by the OldIrql parameter.
The caller should hold the spin lock only briefly before releasing it. For more information, see Introduction to Spin Locks.