// wdm.h
VOID KeReleaseInterruptSpinLock(
[in, out] PKINTERRUPT Interrupt,
[in] KIRQL OldIrql
);
View the official Windows Driver Kit DDI referenceNo description available.
The KeReleaseInterruptSpinLock routine releases an interrupt spin lock acquired by KeAcquireInterruptSpinLock.
Interrupt [in, out]Specifies the value of the Interrupt parameter passed to KeAcquireInterruptSpinLock.
OldIrql [in]Specifies the IRQL value returned by KeAcquireInterruptSpinLock.
The KeReleaseInterruptSpinLock releases the interrupt spin lock, and lowers the IRQL value back to the OldIrql value.