VOID __stdcall VerifierKeReleaseInStackQueuedSpinLock(_KLOCK_QUEUE_HANDLE *LockHandle){
VOID *retaddr;
VfDeadlockReleaseResource(
(VOID *)((unsigned __int64)LockHandle->LockQueue.Lock & 0xFFFFFFFFFFFFFFFCui64),
VfDeadlockInStackQueuedSpinLock,
KeGetCurrentThread(),
retaddr);
VerifierKeReleaseInStackQueuedSpinLockCommon(LockHandle);
}