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