HvlpFastFlushListTbEx

VOID __fastcall HvlpFastFlushListTbEx(INT64 *a1, INT64 a2, CHAR a3, CHAR a4, UINT64 a5, UINT64 *a6, INT64 a7){
  INT64 v9; 
  int v10; 
  int v11; 
  __int64 v12; 
  INT64 v13; 
  INT64 v14; 
  _HV_GENERIC_SET v15; 

  if( a4 )
  {
    v9 = a1[1];
    v13 = *a1;
    v14 = v9;
    if( (HvlpFlags & 0x2000) == 0 )
      v14 = v9 | 8;
    HvlpAffinityToHvProcessorSet((_KAFFINITY_EX *)a2, &v15, 0x50ui64);
    v11 = v10 + 32;
    LODWORD(v12) = ((v10 + 7) << 14) & 0x3FE0000 | 0x14;
    HIDWORD(v12) = a7 & 0xFFF;
    HvlpCopyFlushVaList(
      (unsigned int)a5,
      a6,
      (HvlpFlags & 0x2000) != 0,
      (INT64 *)((char *)&v13 + (unsigned int)(v10 + 32)));
    LODWORD(v12) = v12 | 0x10000;
    HvcallFastExtended(v12, &v13, v11 + 8 * a7, 0i64, 0);
  }
  if( a3 )
    VslFastFlushSecureRangeList((INT64 *)a6, (unsigned int)a5);
}

Referenced by: