// wdm.h

void ExReleasePushLockExclusive(
  Lock
);
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

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

Releases a specified push lock for exclusive access owned by the current thread.

Opaque push lock pointer specified in the ExAcquirePushLockExclusive call. This pointer must have been initialized by a previous call to ExInitializePushLock.

To acquire a push lock for exclusive access, call ExAcquirePushLockExclusive.

To acquire a push lock for shared access, call ExAcquirePushLockShared.