HvlpCountFlushVaList

__int64 __fastcall HvlpCountFlushVaList(unsigned int a1, _QWORD *a2){
  __int64 result; 
  __int64 v3; 

  if( (HvlpFlags & 0x2000) == 0 )
    return a1;
  result = 0i64;
  if( a1 )
  {
    v3 = a1;
    do
    {
      if( (*a2 & 0xC00i64) != 0 )
        LODWORD(result) = (*a2 & 0x3FF) + result;
      result = (unsigned int)(result + 1);
      ++a2;
      --v3;
    }
    while( v3 );
  }
  return result;
}

Referenced by:

HvlpFlushRangeListTb
HvlpFlushRangeListTbEx