HvlpFlushRangeListTb

void __fastcall HvlpFlushRangeListTb(__int64 a1, __int64 a2, char a3, char a4, char a5, unsigned int a6, _QWORD *a7){
  UINT64 v8; 
  UINT64 *v9; 
  unsigned int v10; 
  UINT64 v11; 
  INT64 a1a[2]; 
  __int64 v13; 
  v13 = 0i64;
  *(_OWORD *)a1a = 0i64;
  if( a5 )
    HvlpPrepareFlushHeader(a1a, a1, a2, a3);
  v10 = HvlpCountFlushVaList(a6, a7);
  if( v10 <= 0xB && HvlpAllowFastFlushList() )
  {
    LODWORD(v11) = v10;
    HvlpFastFlushListTb((INT64)a1a, a4, a5, v8, v9, v11);
  }
  else
  {
    LODWORD(v11) = v10;
    HvlpSlowFlushListTb((INT64)a1a, a4, a5, v8, v9, v11);
  }
}

Referenced by:

HvlFlushRangeListTb