HvlpFastFlushListTb

VOID __stdcall HvlpFastFlushListTb(INT64 a1, CHAR a2, CHAR a3, UINT64 a4, UINT64 *a5, INT64 a6){
  unsigned int v6; 
  __int64 v8; 
  unsigned int v9; 
  __int64 v10; 
  __int128 v11; 
  __int64 v12; 
  __int64 v13[11]; 

  v6 = a4;
  if( a3 )
  {
    v8 = *(_QWORD *)(a1 + 16);
    v11 = *(_OWORD *)a1;
    v12 = v8;
    v9 = ((unsigned int)HvlpFlags >> 13) & 1;
    if( !v9 )
      *((_QWORD *)&v11 + 1) |= 8ui64;
    HvlpCopyFlushVaList((unsigned int)a4, a5, v9, v13);
    HIDWORD(v10) = a6 & 0xFFF;
    LODWORD(v10) = 65539;
    HvcallFastExtended(v10, &v11, 8 * a6 + 24, 0i64, 0);
  }
  if( a2 )
    VslFastFlushSecureRangeList((INT64 *)a5, v6);
}

Referenced by: