VOID __stdcall VerifierKeReleaseInStackQueuedSpinLockNoReboot(_KLOCK_QUEUE_HANDLE *LockHandle){ VerifierKeReleaseInStackQueuedSpinLockCommon(LockHandle); }