// wdm.h
VOID KeReleaseGuardedMutex(
[in, out] PKGUARDED_MUTEX Mutex
);
View the official Windows Driver Kit DDI referenceNo description available.
The KeReleaseGuardedMutex routine releases a guarded mutex acquired with KeAcquireGuardedMutex or KeTryToAcquireGuardedMutex.
Mutex [in, out]Pointer to the KGUARDED_MUTEX structure for the guarded mutex.
KeReleaseGuardedMutex implicitly exits the guarded region entered by KeAcquireGuardedMutex and KeTryToAcquireGuardedMutex.
For more information about guarded mutexes, see Fast Mutexes and Guarded Mutexes.