INCREMENT_ADAPTER_CHANNELS

void __fastcall INCREMENT_ADAPTER_CHANNELS(__int64 a1){
  signed __int32 v2; 
  int v3; 
  UINT64 v4; 

  v2 = _InterlockedIncrement((volatile signed __int32 *)(a1 + 180));
  if( *(_DWORD *)(a1 + 192) < 3u )
  {
    v3 = *(_DWORD *)(a1 + 184);
    if( v2 != v3 + 1 )
    {
      ViHalPreprocessOptions(
        &qword_140C12CB4,
        (PSTR)"Driver has allocated too many simultaneous adapter channels.",
        0xBui64,
        (unsigned int)(v2 - v3),
        0i64,
        0i64,
        v4);
      VfReportIssueWithOptions(0xE6ui64, 0xBu, v2 - *(_DWORD *)(a1 + 184), 0, 0, &qword_140C12CB4);
    }
  }
}

Referenced by: