VOID __stdcall VerifierKeReleaseInStackQueuedSpinLockFromDpcLevelNoReboot(KLOCK_QUEUE_HANDLE *LockHandle){ VerifierKeReleaseInStackQueuedSpinLockFromDpcLevelCommon(LockHandle); }