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