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