HvlpFlushRangeListTbEx

VOID __stdcall HvlpFlushRangeListTbEx(INT64 rcx0, INT64 rdx0, CHAR r8_0, INT64 a4, CHAR a5, UINT64 a6, UINT64 *a7){
  unsigned int v8; 
  __int64 v9; 
  int v10; 
  CHAR v11; 
  int v12; 
  CHAR v13; 
  UINT64 v14; 
  INT64 v15; 
  __int128 v16; 
  __int128 v17; 

  v16 = 0i64;
  v17 = 0i64;
  if( a5 )
  {
    *(_QWORD *)&v16 = rcx0;
    v8 = r8_0 == 0 ? 4 : 0;
    v9 = v8 | 2;
    if( rcx0 )
      v9 = v8;
    *((_QWORD *)&v16 + 1) = v9;
  }
  v10 = HvlpCountFlushVaList(a6, a7);
  if( v10 + (((unsigned int)HvlpFlags >> 8) & 0xF) + 5 <= 0xE && HvlpAllowFastFlushList() )
  {
    LODWORD(v15) = v10;
    LODWORD(v14) = v12;
    HvlpFastFlushListTbEx((INT64 *)&v16, rdx0, v13, v11, v14, a7, v15);
  }
  else
  {
    HvlpSlowFlushListTbEx();
  }
}

Referenced by: