HvlpFastFlushListTb

VOID __fastcall HvlpFastFlushListTb(INT64 rcx0, CHAR dl0, CHAR a3, UINT64 a4, UINT64 *a5, INT64 a6){
  unsigned int v6; 
  __int64 v8; 
  unsigned int v9; 
  UINT64 v10; 
  INT64 a1; 
  _QWORD a2[2]; 
  __int64 v13; 
  __int64 v14[11]; 
  v6 = a4;
  if( a3 )
  {
    v8 = *(_QWORD *)(rcx0 + 16);
    *(_OWORD *)a2 = *(_OWORD *)rcx0;
    v13 = v8;
    v9 = ((unsigned int)HvlpFlags >> 13) & 1;
    if( !v9 )
      a2[1] |= 8ui64;
    HvlpCopyFlushVaList((unsigned int)a4, a5, v9, v14);
    HIDWORD(a1) = a6 & 0xFFF;
    LODWORD(a1) = 65539;
    LODWORD(v10) = 0;
    HvcallFastExtended(a1, a2, (unsigned int)(8 * a6 + 24), 0i64, v10);
  }
  if( dl0 )
    VslFastFlushSecureRangeList((INT64 *)a5, v6);
}

Referenced by: