VOID __stdcall VerifierKeAcquireInStackQueuedSpinLockForDpc(UINT64 *SpinLock, _KLOCK_QUEUE_HANDLE *LockHandle){
VOID *Caller;
VerifierKeAcquireInStackQueuedSpinLockForDpcCommon(SpinLock, Caller, LockHandle);
VfDeadlockAcquireResource(SpinLock, VfDeadlockInStackQueuedSpinLock, KeGetCurrentThread(), 0i64, Caller);
}