EtwpCovSampSampleBufferDecRef

CHAR __stdcall EtwpCovSampSampleBufferDecRef(INT64 a1, INT64 a2){
  signed __int64 v2; 
  bool v3; 
  signed __int64 v4; 

  v2 = _InterlockedExchangeAdd64((volatile signed __int64 *)(a2 + 48), 0xFFFFFFFFFFFFFFFFui64);
  v3 = v2 <= 1;
  v4 = v2 - 1;
  if( v3 )
  {
    if( v4 )
      __fastfail(0xEu);
    goto LABEL_5;
  }
  if( !v4 )
LABEL_5:
    LOBYTE(v4) = EtwpCovSampCaptureQueueBuffer(a1, (PFN_WDFUSBTARGETDEVICECREATE *)a2);
  return v4;
}

Referenced by: