VOID __stdcall VerifierKeAcquireInStackQueuedSpinLockRaiseToSynchNoReboot(
UINT64 *SpinLock,
KLOCK_QUEUE_HANDLE *LockHandle){
PVOID retaddr;
VerifierKeAcquireInStackQueuedSpinLockRaiseToSynchCommon(SpinLock, retaddr, LockHandle);
}