DECREMENT_ADAPTER_CHANNELS

void __fastcall DECREMENT_ADAPTER_CHANNELS(__int64 a1){
  signed __int32 v2; 
  UINT64 v3; 
  v2 = _InterlockedIncrement((volatile signed __int32 *)(a1 + 184));
  if( *(_DWORD *)(a1 + 192) < 3u && v2 != *(_DWORD *)(a1 + 180) )
  {
    ViHalPreprocessOptions(
      &Enable,
      (PSTR)"Driver has freed too many simultaneous adapter channels.",
      4ui64,
      1ui64,
      0i64,
      0i64,
      v3);
    VfReportIssueWithOptions(0xE6ui64, 4ui64, v2 != *(_DWORD *)(a1 + 180), 0i64, 0i64, &Enable);
  }
}

Referenced by: