EtwpUnlockBufferList

VOID __stdcall EtwpUnlockBufferList(_WMI_LOGGER_CONTEXT *LoggerContext, _ETW_LOCK_HANDLE *LockHandle){
  bool v2; 
  $242BDE44441644EF90D3047A36374DAB *v3; 
  unsigned __int64 OldIrql; 

  v2 = LoggerContext->PoolType == PagedPool;
  v3 = &LoggerContext->712;
  if( v2 )
  {
    ExReleasePushLockEx((ULONG_PTR)v3, 0);
  }
  else
  {
    OldIrql = LockHandle->OldIrql;
    KxReleaseSpinLock(&v3->BufferListSpinLock);
    __writecr8(OldIrql);
  }
}

Referenced by: