INCREASE_MAPPED_TRANSFER_BYTE_COUNT

void __fastcall INCREASE_MAPPED_TRANSFER_BYTE_COUNT(__int64 a1, unsigned int a2, char a3){
  unsigned __int32 v3; 
  unsigned __int32 v4; 
  unsigned __int32 v5; 
  unsigned __int32 v6; 
  UINT64 v7; 
  v3 = *(_DWORD *)(a1 + 160) << 12;
  v4 = a2 + _InterlockedExchangeAdd((volatile signed __int32 *)(a1 + 188), a2);
  if( !a3 && v4 > v3 )
  {
    v5 = v3;
    v6 = v4;
    ViHalPreprocessOptions(
      &dword_140C12CAC,
      (PSTR)"Driver did not flush adapter buffers -- bytes mapped: %x(%x max).",
      0xDui64,
      v4,
      v3,
      0i64,
      v7);
    VfReportIssueWithOptions(0xE6ui64, 0xDui64, v6, v5, 0i64, &dword_140C12CAC);
  }
}

Referenced by: