INCREASE_MAPPED_TRANSFER_BYTE_COUNT

VOID __stdcall INCREASE_MAPPED_TRANSFER_BYTE_COUNT(
        _ADAPTER_INFORMATION *AdapterInformation,
        UINT64 Length,
        UINT8 ScatterGather){
  unsigned int v3; 
  unsigned int v4; 
  ULONG_PTR v5; 
  ULONG_PTR v6; 
  UINT64 v7; 

  v3 = AdapterInformation[40] << 12;
  v4 = Length + _InterlockedExchangeAdd(AdapterInformation + 47, Length);
  if( !ScatterGather && v4 > v3 )
  {
    v5 = v3;
    v6 = v4;
    ViHalPreprocessOptions(
      &Enable,
      (PSTR)"Driver did not flush adapter buffers -- bytes mapped: %x(%x max).",
      0xDui64,
      v4,
      v3,
      0i64,
      v7);
    VfReportIssueWithOptions(0xE6ui64, 0xDu, v6, v5, 0, &Enable);
  }
}

Referenced by: