// wdm.h
VOID KefReleaseSpinLockFromDpcLevel(
[in, out] PKSPIN_LOCK SpinLock
);
View the official Windows Driver Kit DDI reference
No description available.
The KefReleaseSpinLockFromDpcLevel routine releases an executive spin lock without changing the IRQL.
SpinLock
[in, out]Pointer to an executive spin lock for which the caller provides the storage.
Drivers call KefReleaseSpinLockFromDpcLevel to release a spin lock acquired by calling KeAcquireSpinLockAtDpcLevel.
It is an error to call KefReleaseSpinLockFromDpcLevel if the specified spin lock was acquired by calling KeAcquireSpinLock because the caller's original IRQL is not restored, which can cause deadlocks or fatal page faults.
For more information about spin locks, see Spin Locks.