VOID __stdcall VerifierKeAcquireInStackQueuedSpinLock(UINT64 *SpinLock, _KLOCK_QUEUE_HANDLE *LockHandle){
VOID *a5;
VerifierKeAcquireInStackQueuedSpinLockCommon((ULONG_PTR)SpinLock, a5, (ULONG_PTR)LockHandle);
VfDeadlockAcquireResource(SpinLock, 6i64, (_ETHREAD *)KeGetCurrentThread(), 0i64, (INT64)a5);
}