EtwpCovSampCaptureQueueBuffer

CHAR __stdcall EtwpCovSampCaptureQueueBuffer(INT64 a1, PFN_WDFUSBTARGETDEVICECREATE *a2){
  PSLIST_ENTRY v3; 

  if( KeGetCurrentIrql() <= 2u )
  {
    v3 = RtlpInterlockedPushEntrySList((PSLIST_HEADER)(a1 + 720), (PSLIST_ENTRY)a2);
    if( !v3 )
      LOBYTE(v3) = KeSetEvent((PRKEVENT)(a1 + 736), *(_DWORD *)(a1 + 936), 0);
  }
  else
  {
    v3 = RtlpInterlockedPushEntrySList((PSLIST_HEADER)(a1 + 704), (PSLIST_ENTRY)a2);
    if( !v3 )
      LOBYTE(v3) = KeInsertQueueDpc(a1 + 760, 0i64, 0i64);
  }
  return(char)v3;
}

Referenced by: