// wdm.h
VOID KeInitializeGuardedMutex(
[out] PKGUARDED_MUTEX Mutex
);
View the official Windows Driver Kit DDI referenceNo description available.
The KeInitializeGuardedMutex routine initializes a guarded mutex.
Mutex [out]Pointer to the KGUARDED_MUTEX structure to initialize. The storage must be 4-byte aligned on 32-bit platforms, and 8-byte aligned on 64-bit platforms.
Guarded mutexes must be allocated from nonpaged pool.
For more information about guarded mutexes, see Fast Mutexes and Guarded Mutexes.