VOID __stdcall KeReleaseInStackQueuedSpinLockForDpc(_KLOCK_QUEUE_HANDLE *LockHandle){
if( (KeGetCurrentPrcb()->$A81AFC2514E605CDBADB8E27B49DE82B::_bf_0 & 0x10000) != 0 )
{
KeReleaseInStackQueuedSpinLockFromDpcLevel(LockHandle);
__writecr8(LockHandle->OldIrql);
}
else
{
KeReleaseInStackQueuedSpinLockFromDpcLevel(LockHandle);
}
}