PopReleaseWakeSourceSpinLock

VOID __stdcall PopReleaseWakeSourceSpinLock(KLOCK_QUEUE_HANDLE *LockHandle){
  KeReleaseInStackQueuedSpinLockFromDpcLevel(LockHandle);
  __writecr8(LockHandle->OldIrql);
}

Referenced by:

PopHandleWakeSources
PopNewWakeInfo
PopUpdateWakeSourceWorker