// wdfsync.h

VOID WdfSpinLockRelease(
  WDFSPINLOCK SpinLock
);
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

Windows Driver Kit DDI reference (nf-wdfsync-wdfspinlockrelease)

Description

The WdfSpinLockRelease method releases a specified spin lock.

Parameters

`SpinLock`

A handle to a framework spin-lock object, obtained by a previous call to WdfSpinLockCreate.

Remarks

A bug check occurs if the driver supplies an invalid object handle.

The WdfSpinLockRelease method releases the spin lock that a driver obtained by previously calling WdfSpinLockAcquire. WdfSpinLockRelease also restores the driver's IRQL to the value that it had before the driver called WdfSpinLockAcquire.

For more information about spin locks, see Using Framework Locks.