EtwpReleaseQueueEntry

void __fastcall EtwpReleaseQueueEntry(PVOID P, int a2){
  void *v4; 
  if( (a2 & 2) != 0 )
  {
    HalPutDmaAdapter(*((PADAPTER_OBJECT *)P + 4));
    v4 = (void *)*((_QWORD *)P + 5);
    if( v4 )
      PsReleaseProcessWakeCounter(v4, *((_QWORD *)P + 3));
  }
  _m_prefetchw((char *)P + 52);
  if( (~a2 & _InterlockedAnd((volatile signed __int32 *)P + 13, ~a2)) == 0 )
    ExFreePoolWithTag(P, 0);
}

Referenced by: