HvlpFastFlushListTbEx

VOID __fastcall HvlpFastFlushListTbEx(INT64 *rcx0, INT64 rdx0, CHAR a3, CHAR a4, UINT64 a5, UINT64 *a6, INT64 a7){
  INT64 v9; 
  int v10; 
  int v11; 
  UINT64 v12; 
  INT64 a1; 
  INT64 a2; 
  INT64 v15; 
  __int64 v16[12]; 
  if( a4 )
  {
    v9 = rcx0[1];
    a2 = *rcx0;
    v15 = v9;
    if( (HvlpFlags & 0x2000) == 0 )
      v15 = v9 | 8;
    v10 = HvlpAffinityToHvProcessorSet(rdx0, v16, 0x50u);
    v11 = v10 + 32;
    LODWORD(a1) = ((v10 + 7) << 14) & 0x3FE0000 | 0x14;
    HIDWORD(a1) = a7 & 0xFFF;
    HvlpCopyFlushVaList(
      (unsigned int)a5,
      a6,
      (HvlpFlags & 0x2000) != 0,
      (INT64 *)((char *)&a2 + (unsigned int)(v10 + 32)));
    LODWORD(a1) = a1 | 0x10000;
    LODWORD(v12) = 0;
    HvcallFastExtended(a1, &a2, (unsigned int)(v11 + 8 * a7), 0i64, v12);
  }
  if( a3 )
    VslFastFlushSecureRangeList((INT64 *)a6, (unsigned int)a5);
}

Referenced by: