HvlpFlushRangeListTb

VOID __stdcall HvlpFlushRangeListTb(
        UINT64 AddressSpace,
        _KAFFINITY_EX *ProcessorSet,
        UINT8 Global,
        UINT64 RangeCount,
        VOID **VaList){
  CHAR v5; 
  UINT64 v6; 
  UINT64 *v7; 
  unsigned int v8; 
  INT64 v9; 
  INT64 v10[2]; 
  __int64 v11; 
  unsigned int v12; 
  _QWORD *v13; 

  v5 = RangeCount;
  v11 = 0i64;
  *(_OWORD *)v10 = 0i64;
  if( (_BYTE)VaList )
    HvlpPrepareFlushHeader(v10, AddressSpace, (__int64)ProcessorSet, Global);
  v8 = HvlpCountFlushVaList(v12, v13);
  if( v8 <= 0xB && HvlpAllowFastFlushList() )
  {
    LODWORD(v9) = v8;
    HvlpFastFlushListTb((INT64)v10, v5, (CHAR)VaList, v6, v7, v9);
  }
  else
  {
    HvlpSlowFlushListTb((__int64)v10, v5, (char)VaList, v6, v7, v8);
  }
}

Referenced by: